New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/32051#issuecomment-884499041

Comment:
@FIGBERT don't worry, my message was more directed at @ericonr due to the merge and less at you for the PR. Not everyone can know the intrinsics of contributing to everything, and the manual for this repo is so extremely long that it's not 100% reasonable to expect everycontributor to do thia, but we should handle it like this at least among those with write accessto the main repo