Re: [slime-devel] Small documentation changes.