New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/22667#issuecomment-662527652

Comment:
@Piraty I had understood it, but somehow my force push didn't get here. Sorry.