python3-sphinxcontrib-devhelp: sphinx extension which outputs Devhelp document