They’ve already announced an intention to spinoff that business line.
If you're focused on getting to humans to Mars, running an ISP is a distraction, even if it comes with good cash flow. If you're running an ISP, getting to Mars is a distraction. It's better to separate thees two aspects into separate companies.