Is it expected that tools.jboss.org no longer provides https?

https keeps redirecting to http for me, so I'm getting errors in Eclipse as thrown by AERI, eg:

Server 'org.jboss.tools' failed with exception: Connect to tools.jboss.org:443 [tools.jboss.org/10.4.129.28] failed: connect timed out. ; version: 2.0.1.201608030901

To see this in action, go here:

https://tools.jboss.org --> redirects to http://tools.jboss.org

or, go here:

https://tools.jboss.org:443/ --> redirects to http://tools.jboss.org

I bet this is a problem for eng-ops@ or the new PnT portal.