More info about the Vagrantfile source and my modifications.