jandd.sphinxext.ip (pypi): IP address extension for Sphinx
Keywords: sphinx|extension|IP