Repository navigation

Docs: keep the source record pages out of the navigation tree - #44

Merged

jtravs merged 2 commits into

mainfrom

fix/docs-navigation

Nov 4, 2026

Merged

Docs: keep the source record pages out of the navigation tree#44
jtravs merged 2 commits into
mainfrom
fix/docs-navigation

Commits on Nov 4, 2026
- Docs: keep the source record pages out of the navigation tree
  
  jtravs
  and
  claude
  committed
  0b747d9
- Changelog: state the build's measured saving
  
  jtravs
  and
  claude
  committed
  24d4484