But whatever importance you or I might attach to it, the question is what impression newcomers take away when they get corrected for that.

Sure; there's no excuse to use extra knowledge that other people don't have yet as an excuse to be rude to novices. Details are worth getting right, but never as a weapon with which to berate people.