Scheda ESP8266 con IDE Arduino 2.3.4 non si installa

[aduri]

Buongiorno a tutti,
stavo caricando l'IDE aggiornato su un PC con W10 e, volendo usare una scheda esp8266, occorrerebbe inserire il link URL http://arduino.esp8266.com/stable/packa ... index.json sulle preference ma quando la prova a caricare da problemi di indicizzazione e non va a buon fine.

Sulle versioni precedenti ha sempre funzionato.

ciao
Antonio