New review comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/27521#discussion_r549556131

Comment:
This doesn't really cost us anything, so I'm not sure it should be removed...