Since upstream doesn't seem to use Vagrant (no Vagrantfile), no Vagrant-related changes go into my upstream PRs.