It would be nice to have a button to "resolve" this: <img width="376" alt="Screenshot 2022-12-15 at 14 43 29" src="https://user-images.githubusercontent.com/147409/207862394-1332b07a-3490-46a0-88cf-76eeeeab9f4a.png"> Two options: 1. Restart workspace 2. Send message to agent to update itself (requires work on backend/agent) Option 1) seems reasonable now, 2) future enhancement. Ref: #5393