How do you change the default Workspace Proxy entered during setup? - Coder.com