https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/Virtual-Privacy-Office.xml
<ruleset name="Virtual Privacy Office"> <target host="datenschutz.de"/> <target host="www.datenschutz.de"/> <!-- !www: !found --> <rule from="^http://(?:www\.)?datenschutz\.de/" to="https://www.datenschutz.de/"/> </ruleset>