#637, #906: Update package index on 3rd party URLs change. by kittaakos · Pull Request #1132 · arduino/arduino-ide