Removing write of now-unused workspace_ip file.

Also adding todo that I'm not sure I want to do.  There's currently a
delay between the end of launch.sh and when connect.sh will work.