I’m just happy that for the first time in the history of internet message boards, the word “irony” was used correctly.