Box maintenance: add final notes, cleanup Vagrantfile.