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

<ruleset name="Random.org (broken)" default_off="Breaks random number generator">
  <target host="www.random.org" />
  <target host="random.org" />

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