There's a merged pull request on the void-packages repository mdocml: backport patches for #9868 https://github.com/void-linux/void-packages/pull/27360 Description: These patches deal with how the man page is show is selected amongst multiple available ones. Fixes #9868 until a new upstream release. Closes #13125. Also: change template to make xlint happy Closes: #23108 [via git-merge-pr] Applied @Piraty 's feedback