Re: [Wikitech-l] Re: Case-insensitive login ids via AuthPlugin.php