You'll hear Jaguar mentioned from time to time in the video. That's the code name for an upcoming Gogo BA product that will bring new meaning to the term cloud server.
Once I complete this little research project, you can expect one of my ginormous tl;dr blog articles on the topic. (Update 2017-02-23: The Need for Non-Determinacy.)
Thanks again to my colleagues at Gogo Business Aviation.