diff --git a/pages/01.home/burble-dn42-services/default.md b/pages/01.home/burble-dn42-services/default.md
index 867bb82..e4384dc 100755
--- a/pages/01.home/burble-dn42-services/default.md
+++ b/pages/01.home/burble-dn42-services/default.md
@@ -111,6 +111,18 @@ following URLs:
 * [https://explorer.burble.com/](https://explorer.burble.com/) (public internet link)
 * [https://explorer.burble.dn42/](https://explorer.burble.dn42/) (DN42 link)
 
+## Whois Service
+
+* whois.burble.dn42
+* fd42:4242:2601:ac43::1
+* 172.20.129.8
+
+[WHOIS](https://en.wikipedia.org/wiki/WHOIS) service providing data from the
+DN42 registry.
+
+The source code for the service is available in the
+[burble.dn42 git](https://git.burble.dn42/burble.dn42/whois42d).
+
 ## Global Route Collector
 
 * [https://grc.burble.com/](https://grc.burble.com/) (public internet link)
diff --git a/pages/01.home/ipam/default.md b/pages/01.home/ipam/default.md
index 98afefb..2b05c9a 100755
--- a/pages/01.home/ipam/default.md
+++ b/pages/01.home/ipam/default.md
@@ -22,7 +22,8 @@ burble.dn42 IP addresses
 |pingable.burble.dn42|172.20.129.5|fd42:4242:2601:ac05::1|Pingable IP Address|
 |wiki.burble.dn42|172.20.129.6|fd42:4242:2601:ac81::1|DN42 Wiki Mirror|
 |rproxy.burble.dn42|172.20.129.7|fd42:4242:2601:acf0::1|Distributed NGINX Reverse Proxy|
-| |_172.20.129.8-31_| |_Unallocated_|
+|whois.burble.dn42|172.20.129.8|fd42:4242:2601:ac43::1|Whois service|
+| |_172.20.129.9-31_| |_Unallocated_|
 |collector.burble.dn42|None|fd42:4242:2601:36::b|burble.dn42 Route Collector|
 <br/>
 
diff --git a/pages/01.home/maintenance-log/default.md b/pages/01.home/maintenance-log/default.md
index b292cb4..a9808a3 100755
--- a/pages/01.home/maintenance-log/default.md
+++ b/pages/01.home/maintenance-log/default.md
@@ -10,6 +10,14 @@ A log of changes to the burble.dn42 network.
 
 ## burble.dn42 Maintenance Log
 
+#### 18th May 2020
+
+Added whois.burble.dn42 service, see the [services](/home/burble-dn42-services)
+page for more details.
+
+https://explorer.burble.dn42 now has regional mirrors so should be significantly
+faster for anyone not in Europe.
+
 #### 16th May 2020
 
 Approximately 40 old or inactive peers have been deleted as part of a spring cleaning
diff --git a/pages/02.peering/default.md b/pages/02.peering/default.md
index 9024f98..5faac5e 100755
--- a/pages/02.peering/default.md
+++ b/pages/02.peering/default.md
@@ -26,7 +26,7 @@ To peer with burble.dn42, you must meet the following requirements:
 
   *Sorry, but burble.dn42 is not open to new starters. If you are a new starter in DN42
   please use the [peerfinder](https://dn42.us/peers) or ask on [IRC](https://dn42.dev/services/IRC);
-  there lots of other networks who will be happy to peer with you, and some even offer automatic
+  there are lots of other networks who will be happy to peer with you, and some even offer automatic
   peering.  
   This is a tough restriction, but one that is in place to promote network diversity.*
 
diff --git a/push.sh b/push.sh
index 8c3a276..22f4ac4 100755
--- a/push.sh
+++ b/push.sh
@@ -16,10 +16,6 @@ do
           ${SCRIPTPATH}/pages/ \
           root@${host}:/export/apps/grav/
 done
-          
-      
-
-
 
 ########################################################################
 # end of file