OS Upgrade for Knuth

This afternoon beginning at noon, the OS on Knuth will be upgraded. The server will be rebooted 1 or more times during the process. It should be available for use again by mid afternoon. UpdateThe OS upgrade is complete and knuth is fully functional again.