nav: add groupings for manuals#21471

craig-osterhout wants to merge 1 commit intodocker:maindocker/docs:mainfrom

craig-osterhout:nav-chunkcraig-osterhout/docs:nav-chunkCopy head branch name to clipboard