Windows File History seems to change the case of some file names while saving.
It seems to happen only for filenames with common words, like Plugin.php, Random.php, Functions.php, ...
This all doesn't matter that much in a Windows environment because Windows ignores the case of filenames, but all my websites are hosted on linux servers, so the code breaks because all the modified files cannot be found.
Any clue how to fix this? (apart from using another backup solution)