Minor tweaks to zerocloud devenv setup docs