https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/IT-University-of-Copenhagen.xml
<ruleset name="IT University of Copenhagen" platform="mixedcontent"> <target host="itu.dk" /> <target host="*.itu.dk" /> <securecookie host="^.*\.itu\.dk$" name=".*" /> <rule from="^http://((?:intranet|mit|wayf|www1?)\.)?itu\.dk/" to="https://$1itu.dk/" /> </ruleset>