Re: [slime-devel] [Patch]: slime-kill-all-buffers: kill XREF buffers