More setup steps in vargant docs