[slime-devel] Re: small patch to slime-xref-quit & feature request.