The social app Discord, a favorite of gamers, inadvertently stirred internal strife after announcing last week that it will force its millions of members to pick new user names. Now the question is whether the change will escalate into all-out warfare that could include players threatening one another in order…