Aren’t republican trolls also Russian bots?