Comment by lr4444lr

I'm not saying anything about anyone's intent either, but it's also painless and traditional just to refrain from unsolicited corrections of people's word choice when there isn't any ill intent to be talked about.