Elon Musk just took a 9.2% stake in Twitter