0001-Switch-to-sphinx-rtd-theme
0002-sphinx-index-is-index-not-contents
0003-Remove-privacy-breaches-in-sphinx-doc
0004-Compat-with-older-sphinx
0005-Make-intersphinx-use-local-copies-of-objects.inv-fil.patch
