Has anyone been able to program the ESP32 using Arduino? I'm following the directions at https://github.com/Xinyuan-LilyGO/T-PicoC3, but when I enter the Arduino Boards Manager and type "EPS32C3 Dev" into the search box, nothing is returned.

Thanks,

A.J.