New comment by maybe-one-day-ubermensch on void-packages repository

https://github.com/void-linux/void-packages/pull/21733#issuecomment-697946708

Comment:
I think this discussion is relevant to the [pr](https://github.com/void-linux/void-packages/pull/25054) I opened earlier today. Should I re-open it or keep it closed?