intersphinx-mapping.patch
sphinx-default-theme.patch
