1

Changing username capitalization

I believe there's a minor mistake with the way name changes are being made.

I tried changing my name to `Sorte`, but since `sorte` is taken by me, it doesn't let me get the ``new'' name.

Could you guys handle this case of capitalization change?
1
Will handle. Thanks for the report.