fix: correct markdown header processing - #539

fix: correct markdown header processing#539

jcreedcmu merged 25 commits into

leanprover:mainleanprover/verso:mainfrom

jcreedcmu:jcreed-markdown-fixjcreedcmu/verso:jcreed-markdown-fixCopy head branch name to clipboard