Missing correction for the vagrant-related IP address change : bootstrap node is 10.0.100.3 for the apt-mirror instructions also