In case you missed it, the big news is that a minimal Arduino core is up and working on the ESP32. There’s still ... easy as checking out the code from GitHub into your Arduino install, so ...

Do you walk her through dropping the update via the Arduino IDE OTA ... [Justin] even includes an example GitHub action and a sample ESP32 project.