From 148f24269d860723d3011bdf5008767f77aecd40 Mon Sep 17 00:00:00 2001
From: Blijbol <info@blijbol.nl>
Date: Thu, 25 Nov 2010 20:37:21 +0100
Subject: [PATCH] Reformatted NL Overheid rule

I've completely reformatted the rule using target elements. I updated list of sites as well.
---
 src/chrome/content/rules/Nederland.xml |  284 +++++++++++++-------------------
 1 files changed, 111 insertions(+), 173 deletions(-)

diff --git a/src/chrome/content/rules/Nederland.xml b/src/chrome/content/rules/Nederland.xml
index acf8d42..9f188fe 100644
--- a/src/chrome/content/rules/Nederland.xml
+++ b/src/chrome/content/rules/Nederland.xml
@@ -1,176 +1,114 @@
 <ruleset name="NL Overheid">
-  <target host="digid.nl" />
-  <target host="overheid.nl" />
-  <target host="internetconsultatie.nl" />
-  <target host="politie.nl" />
-  <target host="wodc.nl" />
-  <target host="cjib.nl" />
-  <target host="forensischinstituut.nl" />
-  <target host="werkenbijdeoverheid.nl" />
-  <target host="govcert.nl" />
-  <target host="waarschuwingsdienst.nl" />
-  <target host="minbzk.nl" />
-  <target host="minfin.nl" />
-  <target host="domeinenrz.nl" />
-  <target host="justitie.nl" />
-  <target host="hetlnvloket.nl" />
-  <target host="nationaleombudsman.nl" />
-  <target host="brabant.nl" />
-  <target host="overijssel.nl" />
-  <target host="zeeland.nl" />
-  <target host="aaenhunze.nl" />
-  <target host="amersfoort.nl" />
-  <target host="amstelveen.nl" />
-  <target host="amsterdam.nl" />
-  <target host="bergenopzoom.nl" />
-  <target host="gemeenteberkelland.nl" />
-  <target host="gemeentebest.nl" />
-  <target host="boarnsterhim.nl" />
-  <target host="borne.nl" />
-  <target host="coevorden.nl" />
-  <target host="doesburg.nl" />
-  <target host="duiven.nl" />
-  <target host="elburg.nl" />
-  <target host="geldermalsen.nl" />
-  <target host="haaksbergen.nl" />
-  <target host="haarlemmermeer.nl" />
-  <target host="heerenveen.nl" />
-  <target host="s-hertogenbosch.nl" />
-  <target host="heusden.nl" />
-  <target host="hilversum.nl" />
-  <target host="hoorn.nl" />
-  <target host="horstaandemaas.nl" />
-  <target host="houten.nl" />
-  <target host="huizen.nl" />
-  <target host="lochem.nl" />
-  <target host="maarssen.nl" />
-  <target host="maastricht.nl" />
-  <target host="meerssen.nl" />
-  <target host="middelburg.nl" />
-  <target host="middendrenthe.nl" />
-  <target host="moerdijk.nl" />
-  <target host="gemeentenoordenveld.nl" />
-  <target host="noordwijkerhout.nl" />
-  <target host="oldebroek.nl" />
-  <target host="opsterland.nl" />
-  <target host="oss.nl" />
-  <target host="pijnacker-nootdorp.nl" />
-  <target host="renkum.nl" />
-  <target host="rheden.nl" />
-  <target host="rijswijk.nl" />
-  <target host="schiedam.nl" />
-  <target host="schijndel.nl" />
-  <target host="sittard-geleen.nl" />
-  <target host="smallingerland.nl" />
-  <target host="stedebroec.nl" />
-  <target host="steenwijkerland.nl" />
-  <target host="terneuzen.nl" />
-  <target host="teylingen.nl" />
-  <target host="tubbergen.nl" />
-  <target host="uden.nl" />
-  <target host="utrecht.nl" />
-  <target host="vlagtwedde.nl" />
-  <target host="vlissingen.nl" />
-  <target host="wageningen.nl" />
-  <target host="weert.nl" />
-  <target host="gemeentewesterveld.nl" />
-  <target host="gemeentewestland.nl" />
-  <target host="wierden.nl" />
-  <target host="wijchen.nl" />
-  <target host="winterswijk.nl" />
-  <target host="zaltbommel.nl" />
-  <target host="zandvoort.nl" />
-  <target host="zeist.nl" />
-  <target host="zutphen.nl" />
-  <target host="zwijndrecht.nl" />
-  <target host="government.nl" />
-  <target host="www.digid.nl" />
-  <target host="www.overheid.nl" />
-  <target host="www.internetconsultatie.nl" />
-  <target host="www.politie.nl" />
-  <target host="www.wodc.nl" />
-  <target host="www.cjib.nl" />
-  <target host="www.forensischinstituut.nl" />
-  <target host="www.werkenbijdeoverheid.nl" />
-  <target host="www.govcert.nl" />
-  <target host="www.waarschuwingsdienst.nl" />
-  <target host="www.minbzk.nl" />
-  <target host="www.minfin.nl" />
-  <target host="www.domeinenrz.nl" />
-  <target host="www.justitie.nl" />
-  <target host="www.hetlnvloket.nl" />
-  <target host="www.nationaleombudsman.nl" />
-  <target host="www.brabant.nl" />
-  <target host="www.overijssel.nl" />
-  <target host="www.zeeland.nl" />
-  <target host="www.aaenhunze.nl" />
-  <target host="www.amersfoort.nl" />
-  <target host="www.amstelveen.nl" />
-  <target host="www.amsterdam.nl" />
-  <target host="www.bergenopzoom.nl" />
-  <target host="www.gemeenteberkelland.nl" />
-  <target host="www.gemeentebest.nl" />
-  <target host="www.boarnsterhim.nl" />
-  <target host="www.borne.nl" />
-  <target host="www.coevorden.nl" />
-  <target host="www.doesburg.nl" />
-  <target host="www.duiven.nl" />
-  <target host="www.elburg.nl" />
-  <target host="www.geldermalsen.nl" />
-  <target host="www.haaksbergen.nl" />
-  <target host="www.haarlemmermeer.nl" />
-  <target host="www.heerenveen.nl" />
-  <target host="www.s-hertogenbosch.nl" />
-  <target host="www.heusden.nl" />
-  <target host="www.hilversum.nl" />
-  <target host="www.hoorn.nl" />
-  <target host="www.horstaandemaas.nl" />
-  <target host="www.houten.nl" />
-  <target host="www.huizen.nl" />
-  <target host="www.lochem.nl" />
-  <target host="www.maarssen.nl" />
-  <target host="www.maastricht.nl" />
-  <target host="www.meerssen.nl" />
-  <target host="www.middelburg.nl" />
-  <target host="www.middendrenthe.nl" />
-  <target host="www.moerdijk.nl" />
-  <target host="www.gemeentenoordenveld.nl" />
-  <target host="www.noordwijkerhout.nl" />
-  <target host="www.oldebroek.nl" />
-  <target host="www.opsterland.nl" />
-  <target host="www.oss.nl" />
-  <target host="www.pijnacker-nootdorp.nl" />
-  <target host="www.renkum.nl" />
-  <target host="www.rheden.nl" />
-  <target host="www.rijswijk.nl" />
-  <target host="www.schiedam.nl" />
-  <target host="www.schijndel.nl" />
-  <target host="www.sittard-geleen.nl" />
-  <target host="www.smallingerland.nl" />
-  <target host="www.stedebroec.nl" />
-  <target host="www.steenwijkerland.nl" />
-  <target host="www.terneuzen.nl" />
-  <target host="www.teylingen.nl" />
-  <target host="www.tubbergen.nl" />
-  <target host="www.uden.nl" />
-  <target host="www.utrecht.nl" />
-  <target host="www.vlagtwedde.nl" />
-  <target host="www.vlissingen.nl" />
-  <target host="www.wageningen.nl" />
-  <target host="www.weert.nl" />
-  <target host="www.gemeentewesterveld.nl" />
-  <target host="www.gemeentewestland.nl" />
-  <target host="www.wierden.nl" />
-  <target host="www.wijchen.nl" />
-  <target host="www.winterswijk.nl" />
-  <target host="www.zaltbommel.nl" />
-  <target host="www.zandvoort.nl" />
-  <target host="www.zeist.nl" />
-  <target host="www.zutphen.nl" />
-  <target host="www.zwijndrecht.nl" />
-  <target host="www.government.nl" />
+  <!-- Ruleset created by Jeroen van der Gun
+  
+       This large ruleset secures a large amount of websites
+       of governmental organizations in the Netherlands.
+       Note that it only applies one, simple, general rule to them,
+       so the sites might not be fully covered.
+       Feel free to contact me for questions.
+  
+       NOT included are:
+       * Sites that use HTTPS automatically
+       * Sites that redirect back to HTTP
+       -->
+  
+  <!-- Diversen -->
+  <target host="digid.nl" /><target host="www.digid.nl" />
+  <target host="overheid.nl" /><target host="www.overheid.nl" />
+  <target host="internetconsultatie.nl" /><target host="www.internetconsultatie.nl" />
+  <target host="werkenbijdeoverheid.nl" /><target host="www.werkenbijdeoverheid.nl" />
+  <target host="nationaleombudsman.nl" /><target host="www.nationaleombudsman.nl" />
+  <target host="govcert.nl" /><target host="www.govcert.nl" />
+  
+  <!-- Politie -->
+  <target host="politie.nl" /><target host="www.politie.nl" />
+  <target host="depolitiezoekt.nl" /><target host="www.depolitiezoekt.nl" />
+  
+  <!-- Ministeries -->
+  <target host="minbzk.nl" /><target host="www.minbzk.nl" />
+  <target host="waarschuwingsdienst.nl" /><target host="www.waarschuwingsdienst.nl" />
+  <target host="bprbzk.nl" /><target host="www.bprbzk.nl" />
+  <target host="minfin.nl" /><target host="www.minfin.nl" />
+  <target host="domeinenrz.nl" /><target host="www.domeinenrz.nl" />
+  <target host="justitie.nl" /><target host="www.justitie.nl" />
+  <target host="cjib.nl" /><target host="www.cjib.nl" />
+  <target host="wodc.nl" /><target host="www.wodc.nl" />
+  <target host="forensischinstituut.nl" /><target host="www.forensischinstituut.nl" />
+  <target host="hetlnvloket.nl" /><target host="www.hetlnvloket.nl" />
+  <target host="donorregister.nl" /><target host="www.donorregister.nl" />
+  
+  <!-- Provincies (alfabetisch) -->
+  <target host="brabant.nl" /><target host="www.brabant.nl" />
+  <target host="overijssel.nl" /><target host="www.overijssel.nl" />
+  <target host="zeeland.nl" /><target host="www.zeeland.nl" />
+  
+  <!-- Gemeenten (alfabetisch) -->
+  <target host="aaenhunze.nl" /><target host="www.aaenhunze.nl" />
+  <target host="amersfoort.nl" /><target host="www.amersfoort.nl" />
+  <target host="amstelveen.nl" /><target host="www.amstelveen.nl" />
+  <target host="amsterdam.nl" /><target host="www.amsterdam.nl" />
+  <target host="bergenopzoom.nl" /><target host="www.bergenopzoom.nl" />
+  <target host="gemeenteberkelland.nl" /><target host="www.gemeenteberkelland.nl" />
+  <target host="gemeentebest.nl" /><target host="www.gemeentebest.nl" />
+  <target host="boarnsterhim.nl" /><target host="www.boarnsterhim.nl" />
+  <target host="borne.nl" /><target host="www.borne.nl" />
+  <target host="coevorden.nl" /><target host="www.coevorden.nl" />
+  <target host="doesburg.nl" /><target host="www.doesburg.nl" />
+  <target host="duiven.nl" /><target host="www.duiven.nl" />
+  <target host="elburg.nl" /><target host="www.elburg.nl" />
+  <target host="geldermalsen.nl" /><target host="www.geldermalsen.nl" />
+  <target host="haaksbergen.nl" /><target host="www.haaksbergen.nl" />
+  <target host="haarlemmermeer.nl" /><target host="www.haarlemmermeer.nl" />
+  <target host="heerenveen.nl" /><target host="www.heerenveen.nl" />
+  <target host="s-hertogenbosch.nl" /><target host="www.s-hertogenbosch.nl" />
+  <target host="heusden.nl" /><target host="www.heusden.nl" />
+  <target host="hilversum.nl" /><target host="www.hilversum.nl" />
+  <target host="hoorn.nl" /><target host="www.hoorn.nl" />
+  <target host="horstaandemaas.nl" /><target host="www.horstaandemaas.nl" />
+  <target host="houten.nl" /><target host="www.houten.nl" />
+  <target host="huizen.nl" /><target host="www.huizen.nl" />
+  <target host="lochem.nl" /><target host="www.lochem.nl" />
+  <target host="maarssen.nl" /><target host="www.maarssen.nl" />
+  <target host="maastricht.nl" /><target host="www.maastricht.nl" />
+  <target host="meerssen.nl" /><target host="www.meerssen.nl" />
+  <target host="middelburg.nl" /><target host="www.middelburg.nl" />
+  <target host="middendrenthe.nl" /><target host="www.middendrenthe.nl" />
+  <target host="moerdijk.nl" /><target host="www.moerdijk.nl" />
+  <target host="gemeentenoordenveld.nl" /><target host="www.gemeentenoordenveld.nl" />
+  <target host="noordwijkerhout.nl" /><target host="www.noordwijkerhout.nl" />
+  <target host="oldebroek.nl" /><target host="www.oldebroek.nl" />
+  <target host="opsterland.nl" /><target host="www.opsterland.nl" />
+  <target host="oss.nl" /><target host="www.oss.nl" />
+  <target host="pijnacker-nootdorp.nl" /><target host="www.pijnacker-nootdorp.nl" />
+  <target host="renkum.nl" /><target host="www.renkum.nl" />
+  <target host="rheden.nl" /><target host="www.rheden.nl" />
+  <target host="rijswijk.nl" /><target host="www.rijswijk.nl" />
+  <target host="schiedam.nl" /><target host="www.schiedam.nl" />
+  <target host="schijndel.nl" /><target host="www.schijndel.nl" />
+  <target host="sittard-geleen.nl" /><target host="www.sittard-geleen.nl" />
+  <target host="smallingerland.nl" /><target host="www.smallingerland.nl" />
+  <target host="stedebroec.nl" /><target host="www.stedebroec.nl" />
+  <target host="steenwijkerland.nl" /><target host="www.steenwijkerland.nl" />
+  <target host="terneuzen.nl" /><target host="www.terneuzen.nl" />
+  <target host="teylingen.nl" /><target host="www.teylingen.nl" />
+  <target host="tubbergen.nl" /><target host="www.tubbergen.nl" />
+  <target host="uden.nl" /><target host="www.uden.nl" />
+  <target host="utrecht.nl" /><target host="www.utrecht.nl" />
+  <target host="vlagtwedde.nl" /><target host="www.vlagtwedde.nl" />
+  <target host="vlissingen.nl" /><target host="www.vlissingen.nl" />
+  <target host="wageningen.nl" /><target host="www.wageningen.nl" />
+  <target host="weert.nl" /><target host="www.weert.nl" />
+  <target host="gemeentewesterveld.nl" /><target host="www.gemeentewesterveld.nl" />
+  <target host="gemeentewestland.nl" /><target host="www.gemeentewestland.nl" />
+  <target host="wierden.nl" /><target host="www.wierden.nl" />
+  <target host="wijchen.nl" /><target host="www.wijchen.nl" />
+  <target host="winterswijk.nl" /><target host="www.winterswijk.nl" />
+  <target host="zaltbommel.nl" /><target host="www.zaltbommel.nl" />
+  <target host="zandvoort.nl" /><target host="www.zandvoort.nl" />
+  <target host="zeist.nl" /><target host="www.zeist.nl" />
+  <target host="zutphen.nl" /><target host="www.zutphen.nl" />
+  <target host="zwijndrecht.nl" /><target host="www.zwijndrecht.nl" />
 
-<rule
-from="^http://(?:www\.)?(digid|overheid|internetconsultatie|politie|wodc|cjib|forensischinstituut|werkenbijdeoverheid|govcert|waarschuwingsdienst|minbzk|minfin|domeinenrz|justitie|hetlnvloket|nationaleombudsman|brabant|overijssel|zeeland|aaenhunze|amersfoort|amstelveen|amsterdam|bergenopzoom|gemeenteberkelland|gemeentebest|boarnsterhim|borne|coevorden|doesburg|duiven|elburg|geldermalsen|haaksbergen|haarlemmermeer|heerenveen|s-hertogenbosch|heusden|hilversum|hoorn|horstaandemaas|houten|huizen|lochem|maarssen|maastricht|meerssen|middelburg|middendrenthe|moerdijk|gemeentenoordenveld|noordwijkerhout|oldebroek|opsterland|oss|pijnacker-nootdorp|renkum|rheden|rijswijk|schiedam|schijndel|sittard-geleen|smallingerland|stedebroec|steenwijkerland|terneuzen|teylingen|tubbergen|uden|utrecht|vlagtwedde|vlissingen|wageningen|weert|gemeentewesterveld|gemeentewestland|wierden|wijchen|winterswijk|zaltbommel|zandvoort|zeist|zutphen|zwijndrecht|government)\.nl/"
-to="https://www.$1.nl/" />
+  <!-- And, of course, The Rule -->
+  <rule from="^http://(?:www\.)?([\w-]+)\.nl/" to="https://www.$1.nl/" />
 </ruleset>
-- 
1.7.3.1.msysgit.0

