[Mediawiki-l] Deleting a user account

[a@kid]

could you just change the password on the account?

that would leave the edit history untouched
but disable any future edits using that account