There was sarcasm, but there was no derision. There's nothing wrong with sarcasm - it is a common and civil tool of communication. Sarcastically stating the fact about an bad take in someone's comment - that it is a bad take - is not derision. would you prefer dry talk completely lacking emotion? There is chat with a computer for that - you are here communicating with people.
Your take, is a bad take. Things are civil. They don't also need to look like two robots talking to an oven.
