small fixes to to the dev-env setup doc
even smaller updates to the dev-env doc