Update workspace_setup.md