Re: [Slime-devel] [Sbcl-devel] Slime 2.11 and pretty-stream