Modify server; start migrating everything over to Knuth.