Re: [slime-devel] Re: [slime-cvs] CVS update: slime/doc/slime.texi