We're not discussing the merits of using "main" over "master" - we haven't discussed that at all. You're making some politically charged (b/c of the phrases and

We're not discussing the merits of using "main" over "master" - we haven't discussed that at all. You're making some politically charged (b/c of the phrases and language you're using, I feel it is this way) argument about why it's bad to change terms of things in general. We haven't gotten to the point of discussing the benefits of this specific thing, and to me it seems like you don't want to discuss them (or the lack of them) b/c you're sold on it being a bad thing, no matter what. It is obviously good to change certain terms. For example, we don't call Asian people Orientals anymore.