Please, add a short note on how to change a Vagrant box's IP address. Probably to the section about launching the CDK Vagrant boxes.

The way to do it is to add/modify the following parameter to the used Vagrantfile:

PUBLIC_ADDRESS="X.X.X.X"

See, for example: https://gist.github.com/hferentschik/3daaa9297a90016810f4