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