New comment by Chocimier on void-packages repository

https://github.com/void-linux/void-packages/pull/24450#issuecomment-752748539

Comment:
Restored pr mention in manual and reordered ci mentions. @ericonr, are you ok with that?