I was sure it was sarcasm at first, but re-reading their comment, I actually think you're right, the person did end the message with that without seeing the irony.