0001-Disable-the-hoverxref-Sphinx-extension.patch
