fix(emacs/lean-mode): wrong pp highlighting, fixes #225
fix(emacs/lean-mode): wrong pp highlighting, fixes #225