Re: [slime-devel] Semantic of slime-repl-quit command