Twitter tells 1.4 million users—double its prior estimate—that they engaged with Kremlin trolls during the election.