[slime-devel] Re: [PATCH] slime-quit-lisp from a non-default connection