nightly#104 adaptations for nightly-2025-11-03

Stream: nightly-testing

[Kim Morrison]

chore: adaptations for nightly-2025-11-03 nightly#104

Please review this PR. At the next toolchain release this diff will land in 'master'.

[Kim Morrison]

Lovely to have a sane diff for once. :-)

[Kevin Buzzard]

I'm not competent to comment on the changes in the TacticAnalysis files but other than that this looks good to go.

[Kim Morrison]

(The TacticAnalysis stuff is me working on benchmarking premise selection in Mathlib, which I can only do in nightly-testing for now.)