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

<ruleset name="TunnelBroker" default_off="self-signed">
  <target host="tunnelbroker.net" />
  <target host="*.tunnelbroker.net" />

  <rule from="^http://tunnelbroker\.net/" to="https://tunnelbroker.net/"/>
  <rule from="^http://([^/:@\.]+)\.tunnelbroker\.net/" to="https://$1.tunnelbroker.net/"/>
</ruleset>