Vagrant updates and HTML rename