Index: /tools/gformat.py
===================================================================
--- /tools/gformat.py	(revision 10318)
+++ /tools/gformat.py	(revision 10319)
@@ -1058,4 +1058,7 @@
       for host,datadump in datadumps.iteritems():
         datadump['latitude'], datadump['longitude'] = rdnap.rd2etrs(datadump['rdnap_x'], datadump['rdnap_y'])
+        if datadump['nodename'].startswith('Proxy'):
+          datadump['nodename'] = datadump['nodename'].lower()
+
         for iface_key in datadump['autogen_iface_keys']:
           # Wireless Leiden SSID have an consistent lowercase/uppercase