What percentage of tweets in general are by bots? Not insignificant, I'm sure. Bots did not spring up for this occasion.