batteries#825 adaptations for nightly-2024-06-06

Stream: batteries

[Kim Morrison]

batteries#825

These are the adaptations made on nightly-testing, needed to bring Batteries up to nightly-2024-06-06 (which will become v4.9.0-rc1).

Crossposted from https://leanprover.zulipchat.com/#narrow/stream/428973-nightly-testing/topic/.23825.20adaptations.20for.20nightly-2024-06-06

[Johan Commelin]

batteries#825

[Kim Morrison]

I've updated this to use v4.9.0-rc1. It's late here, but I would love to be able to merge this into bump/v4.9.0 and then that into main tomorrow morning.