#114 Folder and file with same name are different

[doclist]

A folder and file with the same name should be marked as different.

If the left side has a folder named FOO and the right has a file named FOO
then they are currently marked as green, as are all parent directories).
I would expect them to be indicated in red (or at least not green).