Can't find a specific ESP32 board in Boards Manager

[ptillisch]

Hi @DennisZ. Yes, it is supported. It shows up just as expected for me:

Do you see any ESP32 boards at all listed on the menu? It might be helpful if you can post a screenshot.