@peterbe I think we covered in IRC, but the vagrant docs link you to the right place. Now the install docs link to vagrant, then vagrant links to a later point in the install docs.. hopefully that helps