fix: use realistic source spans for Markdown#878

david-christiansen merged 1 commit into

mainleanprover/verso:mainfrom

md-rangesleanprover/verso:md-rangesCopy head branch name to clipboard