0001-Disable-hoverxref-and-notfound-Sphinx-extensions.patch
