A practical guide to installing ESP32 support and compiler tools in Arduino IDE, with a first test program and a fix for a common upload failure.