New review comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/33301#discussion_r721266989

Comment:
I think we should leave this to the user and document it.