man.archlinux.org should be linked from top banner
I've just noticed https://archlinux.org/news/manual-pages-indexing-service/ (while staring at https://man.archlinux.org/man/community/cloud-image-utils/cloud-localds.1.en, in the context of archiso!117 (closed)), and it occurred to me that it could be neat to have a "man" link in that top banner that appears to be included everywhere (I mean the thing showing "Home Packages Forums Wiki Bugs Security AUR Download").
I'm not sure this is the best place to file an issue re. the website itself, but it's the best I could think of.
If the HTML template for that is in a Git repo, I'm happy to raise an MR suggesting it.