debian-hacks/docs-Use-internal-ressources-for-intersphinx.patch
