So Musk just bought Twitter for $44B after all?