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

<ruleset name="NTU" platform="mixedcontent">
  <target host="ntu.ac.uk" />
  <target host="www.ntu.ac.uk" />
  <target host="ntualumni.org.uk" />
  <target host="www.ntualumni.org.uk" />

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