wouldn't it be much easier for Elon to run a mastodon server than to buy Twitter?