chore: speed up markdown docs script#9410

Merged

reidbarber merged 8 commits intomainfrom

speedup-markdown-script

Jan 7, 2026

Commits on Dec 23, 2025

Commits on Jan 6, 2026

show resolved types and fix missing undefined for optional properties
reidbarber
committed
Merge remote-tracking branch 'origin/main' into speedup-markdown-script
reidbarber
committed