Starlink hits 4 million subscribers (TechCrunch)