Hi,

I've just noticed that the top menu on git.sr.ht omits the "man" link.
It is visible on other domains, like sr.ht, man.sr.ht, build.sr.ht, todo or lists.

Is this an intended behavior? If not, should I raise a bug for it?

Thanks,
Michal

Thanks for drawing my attention to this, I have updated the relevant
configuration.