[HTTPS-E Rulesets] Conventions about toggling default_off in a ruleset

[Peter Eckersley]

This may have been discussed here previously, but I've written it down more
clearly now:

https://www.eff.org/https-everywhere/rulesets#default_off

When you add default_off to a ruleset, be sure to change the ruleset name;
when you remove default_off, likewise.  By convention, an off ruleset should
have a parenthetical in its name.

This requirement might go away if we ever implement a distinction in our
about:config variables between rulesets that are on because the user turned
them on, and those that are merely on by default:

https://trac.torproject.org/projects/tor/ticket/3762

-- 
Peter Eckersley                            pde at eff.org
Technology Projects Director      Tel  +1 415 436 9333 x131
Electronic Frontier Foundation    Fax  +1 415 436 9993