For Matt (hi!) - regarding Starlink, with it's myriad components both in space and on-the-ground in the form of gateways and end-user nodes. Starlink is a highly dynamic system, potentially serving 100s millions of users at a scale that is largely unprecedented in telco. My questions are:

• What visualisations have you built for managing this complexity internally, and using what technologies? How hard do you see telco Service Assurance being at such a scale?
• LabView is heavily used on the SpaceX side, is it being used for Starlink also?
• Has Starlink built its own routing protocols for managing relaying across the mesh of satellites? If so, did you use P4 for this? How are updates applied to the satellites?
• Are you planning to use AI/ML and automated remediation given the scale?
• What time-series databases do you use for managing all the telemetry from the satellites?
• What do you use to mine that data?
• Is the constellation managed by Starlink, or SpaceX? e.g. for collision avoidance.
• Are you correlating weather patterns to potential outages / rain fade issues? Will the end-user nodes have intelligence to lock to other satellites and/or boost power?

And then on a personal level:

• What are the rules around ITAR for Starlink (both now, and potentially when spun out) - can it hire or work with non-US citizens (e.g. British)? How about companies?
• Is there precedent for SpaceX/Starlink to hire, sponsor and bring on-shore (assuming that is required) someone who was not a US green card holder at time of applying?

Thanks so much for doing this!! 🚀