draft outline: live heading list with click-to-jump#83
Merged
jorgefilipecosta merged 2 commits intotrunkfrom May 6, 2026
Merged
draft outline: live heading list with click-to-jump#83jorgefilipecosta merged 2 commits intotrunkfrom
jorgefilipecosta merged 2 commits intotrunkfrom