[codex] add docs section navigation#561

snario wants to merge 4 commits into

maintempoxyz/docs:mainfrom

codex/docs-section-navtempoxyz/docs:codex/docs-section-navCopy head branch name to clipboard