Since this stuff is deployed, and Karsten will basically just be taking anything in this "next" to his "next", I think we should be cautious about changing deployment stuff. I'll switch this around so that vagrant users "get" to do the work, e.g. Vagrant.md can say "please copy config-vagrant.py over top of config.py" or similar.