Thanks, everything in this bug report seems to be fixed with Windows nightly (2018-01-10 revision dc62c0717), also the problem that a "ghost" copy was created on renaming.
Thanks, everything in this bug report seems to be fixed with Windows nightly (2018-01-10 revision dc62c0717), also the problem that a "ghost" copy was created on renaming.