New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/issues/28989#issuecomment-783861255

Comment:
Hi! That sounds like a reasonable change! Would you like to make a PR for it?