[slime-devel] Re: auto-abbreviated-package-name