I'm trying to use an ESP32-DevKitM-1 board with Arduino IDE 2.0.0-beta.9 (which works pretty well with ARM and AVR-based boards and has some great new program development features) on Windows 10. I used the Board Manager to install the esp32 by Espressif Systems Version 2.0.0 package and selected ES...