https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/leo.xml
<ruleset name="LEO"> <target host="leo.org"/> <target host="www.leo.org"/> <target host="dict.leo.org"/> <target host="www.dict.leo.org"/> <rule from="^http://([^/:@]*)\.leo\.org/" to="https://$1.leo.org/"/> </ruleset>