Strengthen guard in mk_tooltip#506

justus-springer wants to merge 1 commit intoJulian:mainJulian/lean.nvim:mainfrom

justus-springer:justus/fix_no_docstring_hover_crashjustus-springer/lean.nvim:justus/fix_no_docstring_hover_crashCopy head branch name to clipboard