python3-sphinxcontrib-htmlhelp: sphinx extension which renders HTML help files