py-sphinxcontrib-httpdomain is a stub port
