[ahoya]

Agreed. Editor buttons always get in the way of my typing in weird ways and can’t be hidden reliably.