https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/W3C.xml

<!--
	Nonfunctional subdomains:

		- dev *
		- jigsaw *
		- lists		(redirects to http)
		- validator	(404, valid cert)

	* Dropped


	Nonfunctional www paths:

		- icons/ *

	* 404

-->
<ruleset name="W3C (partial)" default_off="W3C does not have a proper HTTPS deployment">

	<target host="w3.org" />
	<target host="*.w3.org" />
		<exclusion pattern="^http://(?:www\.)?w3\.org/+(?:.+(?:/+|\.html)(?:$|\?)|icons/)" />


	<rule from="^http://(?:www\.)?w3\.org/(?=.+/)"
		to="https://www.w3.org/" />

	<rule from="^http://dvcs\.w3\.org/"
		to="https://dvcs.w3.org/" />

</ruleset>