New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/29333#issuecomment-793059309

Comment:
My upstream PR hasn't landed, so we need to fix the resulting situation before pushing this. Either tag a new docs release or wait.

This PR should also remove the reverts.