Elon Musk suggests slashing Twitter supply based mostly on variety of bots