Re: [slime-devel] Typo: "Supported Platforms" in the manual