SpaceX's IPO prospectus is 377 pages long, yet vague around Musk's long-term ambitions for space tourism, asteroid mining and ...