Problem still occurs today, even with folder open, so I'm baffled.
Same result with any file tried now, e.g. test.ino
No one else here get a renaming problem with this tool?
(I do know how to use File Explorer.)