Update server list
Update IP addresses and other stuff in server list
Update/minor edits
Make mail server descriptions more precise
Get rid of unused names, there's the DNS config for that
Maintainers field is no longer used
Group servers by host hypervisor
IS&T -> IST
Fix IP of earthquake
Chris has decided on the name apphosting
Use service names rather than process names
Add type attribute to all files
Correct capitalization for MediaWiki