fix(emacs/lean-util): fix lean-grab-id
checkpoint