Just to be perfectly clear, I’m totally cool with any of those 3 presented, just not with that ugly default behavior of some editors.