A kick in the kernel

The host of the main site is scheduling a server reboot later today, which is supposed to take five minutes or so. I hope they fix the clock; it’s running about 11 minutes slow these days.

Addendum, next morning: It appears they did fix the clock.