Did this mean less Russian propaganda bots or more American propaganda bots?