Update documentation for deva unfamiliar with Vagrant