Bots did get taken out. A search engine's data centre got targeted. But it's the same thing that would've happened if it was Google getting their data centres blown up. What we haven't seen evidence for is that Russian misinformation bots have dropped off.