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