When I run pio boards espressif32
it lists the board, but the json file is not in my .platformio/platforms/espressif32/boards directory
And when I try to create a project from scratch, I am able to select the board from the Project Wizard, but PIO Core Call Error: fails with the Unknown board ID.
I have copied the json file from https://github.com/platformio/platform-espressif32/blob/master/boards/seeed_xiao_esp32c3.json
And that lets the build move forward, but now there is an error about a missing pins_arduino.h