I don't understand what you mean, why is correcting a pronoun "going too far"? Do you not think respecting people's gender is worthy of the tiny amount of effort it takes?
I see that the author of the edited comment got defensive about it and went on an irrelevant rant about singular they. Wish people like that would grow up a bit.