A spammer has created accounts and pages on my wiki. I have removed the pages via clicking. I cannot find any button or documentation on how to remove his accounts. Lots of documentation on blocking, but none on removing. And on http://meta.wikimedia.org/wiki/Right_to_vanish it even says "User accounts, once created, cannot be removed." Do I just remove his row from the http://www.mediawiki.org/wiki/User_table Or maybe the pros never remove accounts, but just block forever? Smarter?
I suppose the next user to register will inherit his user number, which means anything else in the database then is attributed to the new user, e.g., the deleted pages...