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