Russia bans Discord chat program, to the chagrin of its military users (Washington Post)