New review comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/40082#discussion_r1002168110 Comment: because of this restriction, aren't pre-generated manpages better?