Further updates to the  dev environment document