As a non-native speaker I appreciate comments like GP, because they let me improve my English and speak better. It's not pedantic if the "shamer" is obviously right (I've consulted internet and it looks like he is). I think correcting other people speech is valuable because it lets us all understand each other better.

Same, didn't read any shaming at all here :-)

if you read shaming in my comment, it was a misread. it's of course perfectly fine & great to not be a native speaker