http://arduino.cc down, https://arduino.cc working?

Non-https version of arduino.cc has been down for days. This is causing automated tests that check libraries included in my cores which are direct copies of the official ones to fail because the url in library.properties is not working.

Is this change intended? (ie, arduino drank the "https everywhere because security" koolaid, and I should update the properties to point to https version of the site) Or is this part of the website problems that others have posted about?