Arduino library index / site is basically dead.
Please fix.
Other URLs work fine.
Fails:
https://downloads.arduino.cc/libraries/library_index.json
Works:
https://downloads.arduino.cc/libraries/logs/github.com/adafruit/Adafruit_AHRS/
Tested from the UK, two different computers on same connection.