[slime-devel] Re: [PATCH] Don't use a default value in slime-repl-set-package