My ESP32 Dev V1 doesn’t work with the link you provided. (https://dl.espressif.com/dl/package_esp32_index.json) but seems to work fine with the one I previously had. Maybe it’s the board but it does say ESP32 Dev V1 on the back.
Thanks
The Ultimate Shortcut to Learn Electronics and Programming with Open Source Hardware and Software