> It really isn't up to me. If enough developers find this to be an important issue then the first step would be to[…]

That's not what I asked. In one breath, you've said they need to take up that effort. In the next breath, you've said that it's a done deal. I'm asking: which is it?

Making up your mind (instead of perpetually moving the goalposts) is up to you.