Agree. And the meta point, after reading through to the core committer channel on the WP slack is that it's clear he's now more involved in the project again and making decisions. I haven't been involved for years, but while I was it seems he had other priorities (understandable).
But the rapid changes from AI are an existential threat to the long-term viability of WP. Rather than bike shedding about something relatively trivial, they need to focus on the bigger issues, which it's apparent he's trying to do.
Interestingly, the culture that sustained WP over the last 2 decades may now be working against it. Culture is really hard to change, but he now seems to have his 'wartime CEO' hat on trying to do it, which is the right move.