There's a report that devenv doesn't work with the latest version of `nix-vscode-extensions`. https://github.com/nix-community/nix-vscode-extensions/pull/150#issuecomment-3740911188 *For readers: Please explain how to reproduce the problem in your case.*