0001-Run-tests-for-python-3.7-in-CI-and-fix-failing-tests.patch
0002-Use-ReadTheDoc-sphinx-theme.patch
