Arduino on-line support for ESP32

Are ESP32 boards supported in the on-line editor? They appear to not be in the list.

Hi. The ESP32 boards are not currently supported by Arduino Web Editor. You need to use the standard Arduino IDE for ESP32.