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

<ruleset name="EdUbuntu">
  <target host="edubuntu.org" />
  <target host="www.edubuntu.org" />

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