RPKI Documentation as an open source project