https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/Kathrein.xml
<ruleset name="Kathrein"> <target host="kathrein.de" /> <target host="www.kathrein.de" /> <securecookie host="^www\.kathrein\.de$" name=".*" /> <!-- Cert only matches www. --> <rule from="^https?://(?:www\.)?kathrein\.de/" to="https://www.kathrein.de/" /> </ruleset>