sphinx-use-default-theme.patch
