Can't find a specific ESP32 board in Boards Manager

I'm glad to hear it! Thanks for taking the time to post an update.