New comment by ruantu on void-packages repository

https://github.com/void-linux/void-packages/pull/31281#issuecomment-854772597

Comment:
> Why are you disabling all of this documentation? It can go into a -doc subpackage so people can install it if needed, and we won't need to carry a patch.
Because there is already a man manual, I think the html document is redundant for linux....