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