Index: tools/proxy-8.0/wleiden.pl
===================================================================
--- tools/proxy-8.0/wleiden.pl	(revision 7574)
+++ tools/proxy-8.0/wleiden.pl	(revision 7591)
@@ -321,5 +321,5 @@
   "nameserver 8.8.8.8 # Google\n" .
   "nameserver 8.8.4.4 # Google\n" .
-  "search wirelessleiden.nl";
+  "search wleiden.net";
 
   return($output);