0001-Switch-to-sphinx-rtd-theme
0002-sphinx-index-is-index-not-contents
0003-Remove-privacy-breaches-in-sphinx-doc
0004-Disable-sphinx-inline-tabs
0005-Compat-with-older-sphinx
0006-Remove-install-requirements-for-python-3.7.patch
0007-Make-intersphinx-use-local-copies-of-objects.inv-fil.patch
