Re: [Mediawiki-l] HowTo rename an existing user login?