Ah, I didn't know about that feature. Yours is better for sure. I think that since this is really minor and only affects editors, we don't really need consensus to change it.