fix: create well-spanned syntax on verso blocks#700

ejgallego merged 1 commit intoleanprover:mainleanprover/verso:mainfrom

ejgallego:fix_doc_syntax_setupejgallego/verso:fix_doc_syntax_setupCopy head branch name to clipboard