https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/University-of-Texas-at-Austin.xml

<ruleset name="University of Texas at Austin (partial)">

	<target host="utexas.edu" />
	<target host="*.utexas.edu" />
	<target host="*.lib.utexas.edu" />


	<!--	It appears that HTTPS connections cannot be established to
		https://utexas.edu/ as of June 1, 2011, so redirect
		https://utexas.edu/ to https://www.utexas.edu/
				-->
	<rule from="^https?://(?:www\.)?utexas\.edu/"
		to="https://www.utexas.edu/" />

	<rule from="^http://(ideas|(?:www|catalog|metalib|dev)\.lib|registrar)\.utexas\.edu/"
		to="https://$1.utexas.edu/" />

</ruleset>