Changes

{{Admon/important|Server Changes|The server configurations have changed several times changed -- previous mentions of these systems by name may have referred to different hardware. Note that additional servers may be added or removed as the semester proceeds.}}