Depends on #937. When the `env delete` command is available, we should use it in the VSCode extension instead of simply deleting the files.