0001-Disable-the-hoverxref-Sphinx-extension.patch
0002-Workaround-for-new-Sphinx.patch
