remove-sphinxcontrib.httpdomain-extension-from-doc-conf.py.patch
