Aqui los links usados https://dl.espressif.com/dl/package_esp32_index.json para ESP32 http://arduino.esp8266.com/stable/package_esp8266com_index.json ESP8266
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.