Sphinx-generated HTML documentation.