Comment by squidgedcricket

I've come around to that conclusion on other verboten words, if other people don't like them it's not a big deal for me to stop using them. And I suppose it's less typing to push to main than it is to push to master.