It’s probably sarcasm but I don’t think it matters. A glib throw-away comment adds nothing to the discussion.