If the current usernames with four digit discriminator are unique, why do they need the new style usernames? Or at least grandfather existing usernames so those users don’t have to change?