That's not irony, it's coincidence.

Possibly even Baader-Meinhof phenomenon / AKA Frequency Illusion [1]

[1] http://en.wikipedia.org/w/index.php?title=List_of_cognitive_...

Even more pedantic - It could be ironic if he came here in a deliberate attempt to avoid more information about this case. Or maybe he was trying to show a friend how people on HN are averse to pedantic grammar related comments. Or maybe he deliberately inserted a vocabulary error so he could expose the more nit picky among us so he could hunt them down and destroy there credibility.

> maybe he deliberately inserted a vocabulary error so he could ... hunt them down and destroy there credibility

Masterful.

Amateurish

Which is why I added an interesting / informative link rather than just a nit pick.

btw. obvious troll was obvious

That's coincidental, not ironic.