Issue-BugIt either shouldn't be doing this or needs an investigation.It either shouldn't be doing this or needs an investigation. There appears to be a name conflict between the stable version of ...
Expected behavior Clearly communicate to the user that there was a problem with downloading the package index. It would probably also make sense to retain general functionality of the Arduino IDE ...