GitHub - davidoc/https-everywhere: A browser extension that encrypts your communications with many websites that offer HTTPS but don't yet enforce it.