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

<ruleset name="Boe.es">
  <target host="boe.es" />
  <target host="*.boe.es" />

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