[slime-devel] Re: [PATCH] slime.texi: fixups for info