This video shows the steps to install the ESP32 microcontroller board in the Arduino IDE so that the ESP32 can be programmed using this application.
The following links are required to download the ESP32 source:
https://raw.githubusercontent.com/espressi...
The link used is entered into the Arduino IDE reference menu.