Re: [slime-devel] What's new in slime?