From what I heard, nasdaq changed the rules so that Spacex can be added sooner to the index. Then pension will essentially buy SpaceX (via index), bringing the necessary liquidity for SpaceX exec to exit (very fast thanks to SpaceX rule change)