https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/Howard-Hughes-Medical-Institute.xml

<ruleset name="Howard Hughes Medical Institute" platform="mixedcontent">

	<target host="hhmi.org" />
	<target host="*.hhmi.org" />


	<securecookie host="^.*\.hhmi\.org$" name=".*" />


	<!--	Cert only matches *.hhmi.org.	-->
	<rule from="^https?://hhmi\.org/"
		to="https://www.hhmi.org/" />

	<!--	Observed subdomains:

			- catalog
			- www
				-->
	<rule from="^http://([\w\-]+)\.hhmi\.org/"
		to="https://$1.hhmi.org/" />

</ruleset>