<!--
	For simple rules, see MIT.xml.
-->

<ruleset name="MIT.edu (complex)">
	<target host="mit.edu" />
	<target host="www.mit.edu" />
	<target host="web.mit.edu" />

	<!-- https://github.com/EFForg/https-everywhere/issues/14397
		Should not get secured:
			- http://mit.edu/~puzzle/
			- http://www.mit.edu/~puzzle/
			- http://web.mit.edu/puzzle/www/
	-->
	<rule from="^http://(www\.|web\.)?mit\.edu/($|files/)" to="https://web.mit.edu/$2" />

		<!-- Should get secured: -->
		<test url="http://mit.edu/files/assets/images/favicon.ico" />
		<test url="http://www.mit.edu/files/assets/images/favicon.ico" />
		<test url="http://web.mit.edu/files/assets/images/favicon.ico" />
</ruleset>
