(Someday, I am going to just quit using the word "ironic" and stop fretting over whether the situation I'm calling ironic is really irony or not.)
The dictionary is no help with irony anymore, because they've expanded it to cover sarcasm and coincidence. Is that ironic?
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!