This also raised my eyebrows -- I don't even see the redirect, I just get broken HTTPS if I try to use it. In 2019 (almost 2020!) no website should be served ov

This also raised my eyebrows -- I don't even see the redirect, I just get broken HTTPS if I try to use it. In 2019 (almost 2020!) no website should be served over plain HTTP let alone have broken and nonfunctional HTTPS.