A huge diff that doesn't mean anything is a nontrivial cost. Documentation would also have to be changed and articles would have to be updated.
Deprecating something, even terminology, should not be done lightly.
Deprecating something, even terminology, should not be done lightly.
You're getting downvotes not (just) due to disagreements but because your first comment was incorrect (it's not just a sed command) and your second was unproductive.