As one of the people who frequently argue with him, I think that we should leave him be. It is sometimes tiring to confront him. I keep him away from
The Lightning Network FAQ thread as I don't want to see tens of pages of "whether or not Lightning is Bitcoin" discussion every few weeks there, but I try to reply to most of his arguments in other threads.
He does spread a lot of blatant lies like: it costs $3 to open a Lightning channel, Lightning is not Bitcoin and he has recently done something that I would call a trolling attempt but our related posts got deleted twice.
And if enough people add him to their ignore list, eventually his posts will remain unchallenged and someone may believe it.
That's pretty much why I am still answering his posts.