> Globally unique usernames just aren't relevant.

And if some users think they are relevant, let it be an optional additional name for premium users.