New comment by Vaelatern on void-packages repository

https://github.com/void-linux/void-packages/pull/21288#issuecomment-618774854

Comment:
This looks like a reasonable modification to me. I'm merging, if it's a bad idea then that will be noted in the commit logs when someone tears it back out.