HTTPS Everywhere plugin for tor-browser
