Re: [slime-devel] Bug with default-external-format