[HTTPS-Everywhere] Best practice for disabled rule mit.edu?

[Jacob Hoffman-Andrews]

On 04/10/2015 02:40 AM, Alexander Buchner wrote:
> I now wanted to ask about best practice or just general opinions.
> Right now I just want this ruleset to cover a specific subdomain
> (pgp.mit.edu) which I know is working perfectly fine with https. Is it
> ok to just comment everything but this subdomain out so that we have a
> ruleset with covers 1 case instead of 0 cases right now?

This sounds good to me, so long as you indicate at the beginning of the
comment why it's commented out and what needs to be done (i.e. fix any
broken rules or hosts; update to meet testing requirements).