New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/issues/21862#issuecomment-627673677

Comment:
So we should just mention it in the documentation?