I wondered about that, too. Is this really about the "wow the bathroom is freezing!" jokes or something else? Writing to Miss Manners about a coworker who repeatedly makes the same (non-offensive, kind of dad joke-y) joke seems like a lot? (Honestly, from the first line of the letter, I thought the "joke" was going to be something offensive, cruel, or at least off-color.)