There is a new release for HTTPS Everywhere out today. >From the changelog: * Ruleset fixes * Improve coverage tests * Add trivialize-rules tool and trivialized rulesets * Remove checker as submodule & add to mainline repo Download from the usual places.