It's interesting to compare this situation of affairs against git and GitHub which have become normalized to the point where "master" is consciously perceived as more offensive and tone-deaf than "git" itself.