This jarring dissonance barely raises and eyebrow with the Wikipedians. Best they can think to say about it is, it should have happened long ago, by which they certainly don't mean ten or even twelve years earlier.This user is one of the 120 most active English Wikipedians of all time.
This user is ranked No. 96 on the list of Wikipedians by pages created.
This user has been on Wikipedia for 13 years, 5 months and 20 days.
As is a regular theme, had they stuck with Uncle Jimbo's advice regarding how and when to say goodbye to well meaning but problem users, they'd never even have got into this sort of mess. They might never have had enough users to do much of anything, but at least they'd have known the whole thing was unsustainable from the very beginning.