New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/32200#issuecomment-886257147

Comment:
What @paper42 said; the issue is the package can still be pulled from repos, not that it's locally installed for someone.