debian-hacks/docs-Use-the-default-theme-instead-of-furo.patch
debian-hacks/docs-Use-internal-resources-for-intersphinx.patch
