[Mediawiki-l] Deleting users.