debian-hacks/docs-Use-internal-ressources-for-intersphinx.patch
0002-Disconnect-sphinx-extdev-handler.patch
