If that's also true for brand-new users, the username is the same!