[HTTPS-E Rulesets] New exception for http://wiki.hetzner.de

[Olivier Croquette]

Hi there !

I am very happy user of HTTPS everywhere, since quite a few months now. Thanks for this great tool !

I would like the following change to the rule set to be integrated into the official version. It adds an exception for the hetzner.de domain :

--- default.rulesets.org	2012-11-14 09:28:00.000000000 +0100
+++ default.rulesets	2012-11-14 09:27:29.000000000 +0100
@@ -8773,10 +8773,11 @@
   <ruleset f="Hetzner-Online.xml" name="Hetzner Online">
     <target host="hetzner.de"/>
     <target host="*.hetzner.de"/>
     <target host="*.your-server.de"/>
     <target host="*.webmail.your-server.de"/>
+    <exclusion pattern="^http://wiki.hetzner.de"/>
     <securecookie host="^(.*\.)?hetzner\.de$" name=".*"/>
     <securecookie host="^.*\.your-server\.de$" name=".*"/>
     <rule from="^http://hetzner\.de/" to="https://www.hetzner.de/"/>
     <rule from="^http://(\w+)\.(hetzner|your-server)\.de/" to="https://$1.$2.de/"/>
   </ruleset>

The reason is that http://wiki.hetzner.de doesn't show the same content as https://wiki.hetzner.de

I have contacted the admins, but I don't have the impression that they will fix this strangeness.

Best regards

Olivier