Minor clean up.

I didn't realize it but now you can start main.py and get a non-git
server that has a single interpreter in it, or you can start run.py and
use a git repo to store and recover your history.