> Just FYI, this is not sarcasm, it's ironic humor. Not the same thing. Sarcasm is "the use of irony to mock or convey contempt" which is obviously not what you meant.

Just FYI, you were humorless in your interpretation of his comment. Humorless is "unable to see humor in things when most others do."