I doubt they are a troll, they had a common misconception and then got upset when it was pointed out. There was nothing deliberately provacative.
Just odd all around.
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.
