Put up all my PRs for reformatting now, hoping we can merge tomorrow if all goes to plan -- depends on how much things flake out I guess. I'm off to bed now (11PM CET...) so will have to shepherd them through CI tomorrow if there's flakiness. On that note, who has permissions to merge without squashing? I assume @happy-kitchen-89482 is a repo admin, anyone else? I think merging these all with "rebase" would be best, keeps history more in-line with our default of squashing. Squashing will break my helper script from above 🧵.

I think I can rebase