Hello,"Raghav Gururajan" <rvgn@disroot.org> skribis:Can someone who have admin privileges, add "Manual" tab to the menu of Guix Site (www.gnu.org/software/guix), which links to the Guix Manual (www.gnu.org/software/guix/manual)?There’s already a “Help” entry in the menu, which I think is goodenough, though perhaps we should rename it to “Support” or somethinglike that for clarity?Thanks,Ludo’.