New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/issues/23131#issuecomment-773737627

Comment:
Nothing we can really act on, I think... Can be reopened if a bug appears due to it.