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

<ruleset name="UserScripts.org" platform="mixedcontent">
  <target host="userscripts.org" />
  <target host="www.userscripts.org" />

  <exclusion pattern="^http://(www\.)?userscripts\.org/scripts/source/" />
  <rule from="^https?://www\.userscripts\.org/"
	to="https://userscripts.org/"/>
  <rule from="^http://userscripts\.org/"
	to="https://userscripts.org/"/>
</ruleset>