There's a merged pull request on the void-packages repository mdocml: fix section name bugs in man-cgi https://github.com/void-linux/void-packages/pull/48800 Description: because of the previous patch that allows man-cgi to use `.gz`-compressed manpages, there were some issues in various places. also adds patch that allows for injecting HTML into ``, so we can drop putting custom stuff in mandoc.css and just add a second stylesheet when building the containers in void-infrastructure. #### Testing the changes - I tested the changes in this PR: **YES** cc @leahneukirchen see also void-linux/void-infrastructure#190