[slime-devel] [PATCH] add optimization settings menu