https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/Czech-Technical-University-in-Prague.xml
<ruleset name="Czech Technical University in Prague" platform="mixedcontent">
<target host="cvut.cz" />
<target host="*.cvut.cz" />
<!-- Observed cookie domains:
- akce
- helpdesk
- jira
- usermap
- www
-->
<securecookie host="^.*\.cvut\.cz$" name=".*" />
<!-- Cert only matches www. -->
<rule from="^https?://(?:www\.)?cvut\.cz/"
to="https://www.cvut.cz/" />
<rule from="^http://(akce|helpdesk|jira|usermap)\.cvut\.cz/"
to="https://$1.cvut.cz/" />
</ruleset>