no-intersphinx-plugin-in-doc.patch
