Eliminate navigation duplication between navbar and sidebar configurations#1280

Copilot wants to merge 3 commits intomainAgoric/documentation:mainfrom

copilot/fix-1230Agoric/documentation:copilot/fix-1230Copy head branch name to clipboard