Problem z instalacją ESP32

W aktualnej wersji 2022.12.3 na x86-64 nie stwierdziłem opisywanego tam problemu, może jest na dev lub innych platformach sprzętowych procesora?

Edit: sprawdzam aktualny dev i też jest OK (tu przypominam, że w formie addona wymaga reinstalacji przed użyciem - funkcja “przeinstaluj”, bo ta wersja nie aktualizuje się automatycznie, tzn. żadna nie aktualizuje się automatycznie bez włączenia tej opcji, ale zwykle rozsądniej jest aktualizować dodatki “z palca”, ale dev nie pokazuje, że już jest nieaktualna).

PS Obejrzałem ofertę na portalu niegdyś aukcyjnym i na podstawie zdjęć definicja płytki

esp32:
  board: esp32-wroom-doit-1

byłaby prawidłowa (i w dodatku jest taka dostępna z listy), a od tej najbardziej podstawowej

esp32:
  board: esp32dev

różni się tylko gotowym aliasem dla GPIO na którym jest wlutowany LED onboard (jest to GPIO2) więc w tym wypadku można ją stosować zamiennie.


PPS

Więc pewnie trzeba trochę popracować, aby kompilować na tym sprzęcie