2 ms·

Ok, duly noted. I should have said “that isn’t irony”. I’ll refrain from asking people to learn the meaning of the words they use in future.