spawn ENOTDIR

Stream: general

[François Sunatori]

Hi,
Since yesterday evening, in Visual Studio Code, at the bottom right, I'm getting a popup saying "spawn ENOTDIR".
I tried:

• quitting Visual Studio Code and reopening it
• uninstalling the Lean extension and reinstalling it
• uninstalling Visual Studio Code and reinstalling it
  yet I'm still getting that popup saying "spawn ENOTDIR".
  Has anyone ever run into this problem?
  Thanks!