Yes, but who is worse? At least TN1 contributes something other than trolling.
Maybe I am just nuts but I don’t see how making a joke about the confusing names of the Alien movies in the off topic section is trolling, and on this forum I have seen far, far worse.
So you think that’s the only post he’s ever made? Sounds reasonable.
And anyway, the trolling came after the joke. Maybe you didn’t read the rest, or you need to read it closer.