fix: improve syntax precision for start of #doc blocks#771

ejgallego wants to merge 2 commits intoleanprover:mainleanprover/verso:mainfrom

ejgallego:feat/folding-doc-start-rangeejgallego/verso:feat/folding-doc-start-rangeCopy head branch name to clipboard