000-remove-missing-sphinx-extension.patch
