New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/22980#issuecomment-662197868

Comment:
Maybe we can merge this one with #23542 ?