https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/Institut-National-des-Sciences-Appliquees.xml
<ruleset name="Institut National des Sciences Appliquées (partial)">
<target host="insa-strasbourg.fr" />
<target host="www.insa-strasbourg.fr" />
<securecookie host="^www\.insa-strasbourg\.fr$" name=".*" />
<!-- !www doesn't work over https.
Redirects to www over http. -->
<rule from="^http://(?:www\.)?insa-strasbourg\.fr/"
to="https://www.insa-strasbourg.fr/" />
</ruleset>