0001-Desactivate-sphinx_tabs-extension.patch
