Universe

The following can be done independently of Eric and Cosmos (or trivially on each machine):

• sort our DNS entries for <username>.unix.umist.ac.uk:
  • Whose account should be based on which underlying machine --- what should be policy be? e.g., random, or default to Cosmos and move heavy users to Eric; migrate known heavy (Cosmos) users to Eric; u/gs to Cosmos, and p/gs and staff to Eric...
  
  
• doctor prompts etc. so that always get

          universe>