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