[flagged]
Having said all that, turning a plane around is a meaningfully larger cost on everyone involved than having a commit/merge hook that tells you to rename a variable.
Engineers still say blacklist, even though I avoid it in my own communications, it's not the end of the world.
Though I still see the occasional hissy fit over git master branches that were never renamed.
However I never heard of anyone complaining about recording masters or golf masters.
It's code.
No one that matters looks at it or cares.
Making unnecessary changes to code does zero in solving any societal ills.