It's a tricky judgment call and not everybody will receive it the same. But I like learning little tidbits! Crucially, I don't think poster did a "pedantic correction" for the sake of unfairly dismissing the point ; they did it to educate and that always gets credit in my book :)
