[slime-devel] Improved font-lock