I would argue irony is PART of satire, not irony is satire.

Perhaps not officially but i can see scholars eventually yielding to equate irony to mean satire.

I remember growing up when the word ultimate is used everywhere and being equated to "super duper". I later learned it ultimately (no pun intended) means final. I guess the same will happen to the word irony now also to mean satire.