noun, plural ironies.
1. the use of words to convey a meaning that is the opposite of its literal meaning: the irony of her reply, “How nice!” when I said I had to work all weekend.
2. Literature. A technique of indicating, as through character or plot development, an intention or attitude opposite to that which is actually or ostensibly stated. (especially in contemporary writing) a manner of organizing a work so as to give full expression to contradictory or complementary impulses, attitudes, etc., especially as a means of indicating detachment from a subject, theme, or emotion.
3. Socratic irony.
4. dramatic irony.
5. an outcome of events contrary to what was, or might have been, expected.
6. the incongruity of this.
7. an objectively sardonic style of speech or writing.
As a person who works at a university would already be well versed in proper grammar given the ample amounts of papers that they have to write and would also be well versed in the annoyances of people dinging them for a misplaced comma, one would expect that a study done by people at a university on the annoyances of people grammar checking them would be ironic. The use of ironic in that sense could easily fit definitions 2, 3, 5, or 6.
What the heck is "inconsistent user experience"??
It's trying to figure out how to hang up a phone call while the screen is locked in a method that takes less than 20 seconds of fumbling. And then repeating the procedure between brands.
A sheet of paper is an ink-lined plane. -- Willard Espy, "An Almanac of Words at Play"