HTTPS Everywhere: Firefox plugin that switches on crypto whenever it's available