@mastrolinux that was the URL in downloads.arduino.cc/packages/package_index.json before it was fixed.