Re: [slime-devel] Improved font-lock