emacs: update lean-mode