nightly#91 adaptations for nightly-2025-10-19

Stream: nightly-testing

[Kim Morrison]

chore: adaptations for nightly-2025-10-19 nightly#91

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

[Kim Morrison]

Hoping that this one will become v4.25.0-rc1; still need to get Cslib working.

[Kim Morrison]

Looks good to me.

[Kim Morrison]

But this fails in CI, with apparently the same failure mode as nightly#92 (i.e. it's not about the modulized quote4....)

[Kim Morrison]

I've just made Cache/IO.lean identical to the version on 3aad5efa232cac1b73faa6501e2e3056f23a261b, which passed CI.

[Kim Morrison]

Merged!