Update notes for submitted changes

* Vagrantfile: use documented IP addresses