Re: [slime-devel] cutting up slime.el