0002-remove-useless-sys.path-from-conf.py.patch
0001-use-default-theme.patch
fix-copyright-year-substitution.patch
disable-timing-tests.patch
