I would prefer this to be ignored via a `/.vagrant` entry in `contrib/vagrant/.gitignore`. That was the directory is relocatable.