Elon Musk’s first Twitter manipulation effort was a big flop