For developers who primarily connect from their desktops (SSH and IDE plugins), there's no great way to update their workspaces. While #6049 will contribute towards this, we can also add prompts when a user manually starts if they want to update their workspace.