https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/University-of-Stuttgart-self-signed.xml
<!--
For rules that are on by default, see University-of-Stuttgart.xml.
-->
<ruleset name="University of Stuttgart (self-signed)" default_off="self-signed">
<target host="icp.uni-stuttgart.de" />
<target host="www.icp.uni-stuttgart.de" />
<securecookie host="^www\.icp\.uni-stuttgart\.de$" name=".*" />
<!-- This is what the server does over http.
Over https, it redirects to src/,
which probably isn't what's intended.
Don't mess with it if it's
already pointing to https though,
as that probably would be intended. -->
<rule from="^http://(?:www\.)?icp\.uni-stuttgart\.de/$"
to="https://www.icp.uni-stuttgart.de/~icp/" />
<rule from="^http://(?:www\.)?icp\.uni-stuttgart\.de/"
to="https://www.icp.uni-stuttgart.de/" />
</ruleset>