https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/USENIX.xml
<ruleset name="USENIX"> <target host="usenix.org" /> <target host="www.usenix.org" /> <rule from="^https?://www\.usenix\.org/" to="https://www.usenix.org/"/> <rule from="^https?://usenix\.org/" to="https://www.usenix.org/"/> </ruleset>