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

<ruleset name="Pinboard.in">
  <target host="www.pinboard.in" />
  <target host="pinboard.in" />

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