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

<ruleset name="Tompkins-Cortland Community College" platform="mixedcontent">
  <target host="www.tc3.edu" />
  <target host="tc3.edu" />

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