nightly#86 adaptations for nightly-2025-10-10

Stream: nightly-testing

[github mathlib4 bot]

chore: adaptations for nightly-2025-10-10 nightly#86 Please review this PR. At the next toolchain release this diff will land in 'master'.

[Kevin Buzzard]

This is one of the last channels I'm catching up with after a hectic September. I would merge this except I'm confused by

#adaptation_note /-- 2025-10-06 https://github.com/leanprover/lean4/issues/10678
  Added `docBlame` nolint for `Mathlib.instToExprULift_mathlib.toExpr` -/

and I can't find the point where this is added. Modulo that this looks ready to go.

[Markus Himmel]

It's in scripts/nolint.json, but the bug has been fixed by now, so we can remove the nolint again.