jason churkas and ryan grimm, two reporters from the "washington post," have done reporting on this. they've added to the timeline, so the timeline, february, kremlin threatening/promising they're going nuclear in their information war, march, their gru attacks the democratic party and steals their data. we see the fruits of that by the summer but that spring, april and may the other thing they started doing was a huge industrial-sized bot attack. this was not a joke. they used automated social media bots and what appeared to be paid operatives in russia and other countries specifically to target bernie supporters. they took the real split in the democratic party between hillary clinton and bernie sanders and they blew it up into what they hoped would be an unbreachable chasm.