0001-Deactivate-sphinx_tabs-extension.patch
0002-switch-bin-scripts-to-Python3.patch
