Comment 1 for bug 993111

This is a tricky thing to fix. The only complete solution to this problem that I can think of is to break the syncing of files that differ only in case from the Linux side, which is not ideal either.

Alternative ideas:

1) Show a warning about syncing too-similar names on windows, and stop syncing.
2) Create a mapping between server filenames and local filenames per-device. Lots of code, lots of ways it could go wrong.
     mangled filenames on windows.
3) Show a warning about syncing too-similar names on linux, and not sync more than one.
4) Document it

Also, we should check what other syncing solutions do for this case.