Re: [slime-devel] slime-switch-to-output-buffer