New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/17765#issuecomment-779596144

Comment:
Is this PR still desired? Please remember to ping reviewers once changes have been made, it's easy to miss them.