0001-Deactivate-sphinx_tabs-extension.patch
