Re: [slime-devel] Some more variables for customizing Slime (patch)