as Peter mentioned last week, https://tor.eff.org is back. It's an HTTPS mirror on IPv4 and IPv6. We are planning to keep it online for the time being (and can send another update here if for some reason we don't keep it up) Thanks! --mark B.