VSCode -- fails to Save As

I have made a copy of a Jupyter Notebook file in VSCode in order to edit the file. I have now finished editing it, and want to save it under the name of the original file.

I choose File/Save As, and select the name of the original file, and click on Save. I’m then asked if I want to Overwrite the original file. I respond with Yes.

But nothing happens – the file is not saved with the new name.

  • WHY?

[Windows 11, latest version. Latest version of VSCode. Etc.]