Yeah, I thought that same thing as well. Kind of surprising (though I'm not surprised Musk was able to acquire Twitter).