New review comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/23928#discussion_r462401810

Comment:
Does this need to be deleted? I don't see an issue with having it there.