Heading: delete this list if this PR does not introduce any changes that need announcing.
Fixing this up in a separate PR (the latest benchmarks have already been run with this fix) before we push in fine-tuning scripts.
Other details that are good to know but need not be announced:
Items to add to release announcement: