I just mean that I don't think they were a good faith interlocutor. Probably if I were to put a specific explanation on it, I'd say that they are probably tired of having the same argument over and over again and being corrected repetitively, to the point where they're not genuinely engaging anymore, I've seen that a lot. Especially with how quickly they backed out but also still left a comment. I dunno if that level of bad faith would be considered trolling in the strictest sense, but I would probably still classify it as such.