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

<ruleset name="University of Rochester">
  <target host="www.rochester.edu" />
  <target host="rochester.edu" />

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