I took the remark that rpki.readthedocs.io is somewhat NLnet Labs tools-centric to heart and made it completely neutral. It no longer has any vendor-specific documentation at all. (cherry picked from commit a3cf5355759996d57ebe319457e112bbdb018123)