New comment by jnbr on void-packages repository

https://github.com/void-linux/void-packages/pull/20887#issuecomment-629453965

Comment:
I'm against having man pages in filesdir, if it's generated with help2man, it doesn't provide any real value anyway.