> It's sardonic rather than ironic

Doesn’t seem like that to me, after reading the dictionary definitions.

Sardonic: grimly mocking or cynical.

Ironic: happening in a way contrary to what is expected, and typically causing wry amusement because of this.

Pretty sure I meant the second one.