Thanks for the reminder - just done it.
…although it does appear that developer-tools is redirected to tools so nothing is broken when updating to 2026.8.0 so at least it doesn’t matter if you don’t make the changer immediately.
[edited for clarity]