[slime-devel] Re: Splitting slime.el