[slime-devel] [Re: SLIME manual fixes]