Add source span mapping to rich layout APIs#90

somnai-dreams wants to merge 3 commits intochenglou:mainchenglou/pretext:mainfrom

somnai-dreams:codex/source-spanssomnai-dreams/pretext:codex/source-spansCopy head branch name to clipboard