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

<ruleset name="Thomas Cook" default_off="Site no longer exists">
  <target host="thomascook.com" />
  <target host="*.thomascook.com" />

  <rule from="^http://thomascook\.com/"
          to="https://thomascook.com/" />
  <rule from="^http://(book|ww3|ww7|www)\.thomascook\.com/"
          to="https://$1.thomascook.com/" />
</ruleset>