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