Rules for EFF's HTTPSEverywhere firefox plugin