Re: Proposed tweak for `slime-lisp-options'