fix(emacs/lean-info): fix eldoc-error at end of buffer
fix(emacs/lean-info): fix eldoc-error at end of buffer