We now have a VM. What should we do with it? Let's brainstorm ideas: 1. Use the machine for pushing website updates - Generating the docs / website on different machines causes whitespace differences to occur in generated files and really messes up diffs. - If we all use this machine for website updates, then this problem will go away.
2. Have it run a shared BuildBot master 3. Cronjobs? 4. ?
