Let's add a sentence about using `vagrant up` to restart. I assume that's used in both scenarios.