AOL, Elon Musk, and Twitter