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