Some rules to be used with HTTPS Everywhere