Hacker News Reader

Native, educated speaker here: Nobody cares and everybody understood what they meant.

I always appreciate grammatical corrections, and I know non-native speakers that do too.

A friendly correction of a non-standard word does not deserve derision.