Network reconfigured

Ok, the new firewall and new IPs are in place. And the various new IP addresses appear to have propagated through DNS Land. The one beginning with 64 is the one you want.

It may be that some of you are currently connected via the old IP (the 69... one); all this means is that the next time we have a firewall restart and your connection drops there is a remote possibility you'll need to either flush the local DNS cache to grab the new address (ipconfig /flushdns on Windows boxes), or restart your client, or reboot your machine (in which case you might want to consider upgrading to a modern OS) -- but most likely everything that's needed to happen has happened already and a simple reconnect should Just Work.

There's still at least one more server reboot to do once I finish reshuffling the various websites and services. That will probably happen later this week.