py-sphinxcontrib-devhelp is a stub port
