fix-sphinx-conf.py-to-avoid-intersphinx.patch
