Servers will be going through reboots today around 17:30 PST to implement minor kernel modifications.

Any service interruption will be quite brief.