Re: [slime-devel] Is slime currently broken?