[slime-devel] Re: downcased symbols inserted by SLIME-INSERT-ARGLIST