Arduino 1 doesn't show SparkFun ESP32 MicroMod board after setting json preference

I was working on the weather station kit about 16 months ago. The Micromod Weather Carrier board with an ESP32. I had it working then. I’m back to setting it up from scratch on a new Linux computer.

I’ve added the json URL to the Preferences for Additional Boards. I’ve set the port to USB for this Linux box. I can’t find the board in Tools. The only board now in the ESP32 board pop-out menu in Tools is the Arduino Nano ESP32.

I’ve put the json URL in a browser and can see the file it gets (esp32-3.1.3.zip) and I can see this SparkFun board listed in there. But, I don’t know why it doesn’t show up under Tools in the list of boards.

I tried Arduino 2, but since the menus are different, I decided to try Auduino 1.8.19 to be most compatible with what is described in the SparkFun web pages.

What should I try to fix this?

Thanks.

I’ll try on Windows.

That didn’t help. Tried both Arduino IDE 1.8.x and 2.x. Neither can find the Sparkfun ESP32 board after the json file is added.

Are the LEDs on the board lighting up?

The voltage LEDs light up on the carrier board, but no lights light up on the ESP32 board.

Ok - you may need to try re-seating the module (also inspect it while it is out for anything that looks odd) and see if that can get it to power on

Do you happen to have another micromod processor around?