[slime-devel] Re: PATCH: slime-qualify-cl-symbol-name