It is quite straightforward: Two Servo objects control the ... off and realized that while my phone could connect to the corporate network, the ESP8266 wasn’t set up for it.

There’s also an “ESP8266 IoT SDK”, but from a quick glance at the code, this appears to be an SDK for the SOC on the module, not a simple way to connect the module to a microcontroller.