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