WCI-9: Document the new box in the Vagrantfile