Re: [slime-devel] disable help-echo