Site downtime

This site might be down for a while while RIT performs “annual maintenance” of the power system.
When I moved the server last week the grub boot config was iffy – hopefully my fixes have worked.