It looks like there's now a newer version of this addon under the name Smart HTTPS (revived), but I can't find the source repository for the new addon. Could you advise me on where this can be found? Thank you.