New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/21453#issuecomment-621491731

Comment:
@Chocimier good point! I will talk to @bobertlo about this to see when he thinks we could tag the docs.