can't find ESP32 neither beyond boards select nor listed in board manager

hello,
I can't find ESP32 boards to be selected, neither beyond tools-> boards select nor listed in tools-> board manager
I have IDE 1.8.8,
and I am using the Adafruit Feather ESP32.

The com port is installed and detected very well (eg, COM19)

I already added in preferences-> additional board manager urls
https://dl.espressif.com/dl/package_esp32_index.json

but ESP32 options still don't show up yet anywhere.

The ESP8266 cores I once installed similarily are still fine though (even the Adafruit Huzzah ESP8266).
eg, when I start the board manager and enter "ESP", just the esp8266 cores are listed which I already have.

What am I missing?

When you open Tools > Boards Manager, are there any errors?

After closing Boards Manager, do you see any errors in the black console window at the bottom of the Arduino IDE window?

in the board manager window there are no errors, but indeed I see an error in the black cosole window:

Fehler beim Herunterladen von https://adafruit.github.io/arduino-board-index/package_adafruit_index.json;https://dl.espressif.com/dl/package_esp32_index.json

You need to use a comma to separate the URLs, not a semicolon. Open File > Preferences and then change the semicolon to a comma.

yes, that was exactly the mistake, now I can choose it and upload!
thank you very much!

You're welcome. I'm glad to hear it's working now. Enjoy!
Per

update:
OMG, this thing runs like hell - almost twice as fast as the M4, about 4x-5x as fast as the Due, and 37x as fast as a Mega2560...! :o