Some documentation about HTTPS Everywhere for Internet Explorer