IP change

What was at first a trivial “move the server to a new location” turned into hijinks today as it refused to boot up.  We’ve fixed the problem, but because we were offline for about 40 minutes, the IP address lease ran out, and we were assigned a new one.

Dammit. :(

So use the hostname or memorize the new IP.  Sorry!