[Converted from HTML, see rpki/__init__.py for source]