You can now buy the ESP32-S31 development board, and it's pretty cheap

It has some nice new capabilities, too.