IDP Case-Insensitive username

I think that's a slightly misleading release note...
See this thread for more context on the bug: