https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/vhf-expired.xml
<ruleset name="vhf (expired)" default_off="expired"> <target host="vhf.de"/> <target host="*.vhf.de"/> <rule from="^http://(?:www1?\.)?vhf\.de/" to="https://www.vhf.de/"/> </ruleset>