I suppose my error was giving you the benefit of the doubt by assuming that you did not actually intend to be snarky.

Also, read that definition again. It is not archaic, it is modern "it has been common since the 1600s". This definition was pulled from wiktionary.

So to review, I dared use the word "irony" in an informal fashion, and you are a snarky pedant.