Re: [slime-devel] Possible typo in slime-with-xref-buffer