Had he managed to do so politely, he probably would have continued. Unfortunately for him, when pressed into a corner (usually when thread posts got to the high 300s) he tended to get verbally abusive. He had two posts pulled this thread, which was unusual; I saw the first, and it got kinda nasty (to you!); presumably the second was similar and went too far.
I presume being an obtuse one-note troll got him close to the line, and the personal attacks (long history of them being just barely tolerable) pushed him over.
Hate to say I’m happy he’s gone, but he did work awfully hard (I mean thousands of posts) to get zotted.
Trolls do serve a function, they keep threads bumped.