PR #9492 docs: followup for after initial release

docs: followup for after initial release #9492

devongovett merged 6 commits into main from docs-followup

chore: new docs followup

da29858f

add headings to search as keywords

74d972bf

yihuiliao commented on 2026-01-16

fix lint

92b94a61

reidbarber commented on 2026-01-16

filter tags

688ffe5c

reidbarber commented on 2026-01-16

add example to filter

14a52fb2

reidbarber approved these changes on 2026-01-26

devongovett approved these changes on 2026-01-26

yihuiliao added documentation

Merge branch 'main' into docs-followup

a73dc5d6

devongovett merged 6c8fe491 into main 78 days ago

devongovett deleted the docs-followup branch 78 days ago

Reviewers

devongovett

reidbarber

Assignees

No one assigned

Labels

documentation

Milestone

No milestone