doc points to dev-setup repo for vagrant