0001-Use-local-intersphinx-files.patch
0002-Drop-hoverxref.patch
