https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/Revosec.xml
<ruleset name="revosec"> <target host="revosec.ch" /> <target host="www.revosec.ch" /> <securecookie host="^www\.revosec\.ch$" name=".*" /> <!-- Cert doesn't match !www. --> <rule from="^http://(?:www\.)?revosec\.ch/" to="https://www.revosec.ch/" /> </ruleset>