As Project IDX is still in beta, there's a few issue that might result in workspace being stuck in state where it cannot be recovered. For example, I was impacted by
https://issuetracker.google.com/issues/341319148
It would be nice if the "Launch Recovery" button will be available, even if the system did not detect any error. Issue like this can be easily be fixed if we can changed the dev.nix file with a manual recovery.