http://dictionary.reference.com/browse/irony
...not that this is worth arguing about.
Reply on news.ycombinator.com