You do venture outside this subforum... Right? There are literal thousands of other internet retards out there, right here, to laugh at. I think most people already divide their attention among several of them, whether or not they post much in other threads. There are tons of fucktards documented here, & this one is more odious than funny, anyway. That's the draw. Bad thing happens to bad person. I believe we're approaching or in the Final Act, & the epilogue will almost certainly be more entertaining than the entire play ever was. Then he'll be put out to pasture, then memoryholed. He is not special.
When he's gone, there be a brief cavalcade of 'Hooray, finally', a smaller counter-cavalcade of 'boooo', this subforum will die off & be retired to Spergatory. He'll be memorialized occasionally only by random references to what a shitheel he was, & jerking his micropud on stream that one time. The fringe users who only come here for him & don't care to explore the forum will leave, everyone else finds new cows &/or keeps watching their other ones. That's it. His absence will rip a hole in no one's life but his.
I have no idea what the dents do. I'm not built to understand that subset of our species anyway. You're probably right. They'll just funnel their allowances into some other waste of space. Most likely they'll all forget bout him, too.
And nothing of value will be lost.