Re: [slime-devel] mode line error reporting