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.