_workspaces.py: Update workspace version if possible This also informs the user which workspaces are open.