<ruleset name="pgp.mit.edu">
  <target host="pgp.mit.edu" />
  <rule from="^http://pgp\.mit\.edu/" to="https://pgp.mit.edu/"/>
</ruleset>
