Didn't Musk try to bargain the Twitter price down, or even cancel his purchase of it, by saying bots were undercounted? Wasn't he going to rid then-Twitter of bots? What happened to that upstanding citizen?