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

<ruleset name="IETF" platform="mixedcontent">
  <target host="ietf.org" />
  <target host="www.ietf.org" />
  <target host="tools.ietf.org" />
  <target host="datatracker.ietf.org" />

  <rule from="^http://(?:www\.)?ietf\.org/" to="https://www.ietf.org/"/>
  <rule from="^http://(tools|datatracker)\.ietf\.org/" to="https://$1.ietf.org/"/>
</ruleset>