Hacker News Reader

Also as far as I remember Windows doesn't distinguish between capital and lower case letter in file paths

Yes it does. By default it is case-preserving, case-insensitive but there is a registry key to enable case-sensitivity.

Thanks.