sphinxcontrib-devhelp is a sphinx extension which outputs Devhelp
document.