Re: [slime-devel] Editor Slime/Configuration