docs: Document syntax-highlighting option replacing highlight-style#1874
Merged
cderv merged 13 commits intoprereleasefrom Feb 10, 2026
Merged
docs: Document syntax-highlighting option replacing highlight-style#1874cderv merged 13 commits intoprereleasefrom
cderv merged 13 commits intoprereleasefrom
Commits
Commits on Feb 6, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
