https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/TeX-Users-Group.xml

<ruleset name="TeX Users Group">

	<target host="tug.org"/>
	<target host="www.tug.org"/>

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

</ruleset>