Mixed lowercase and case-preserved folder names
Things look fine in the site, but when I download a zip many folders come as sort of duplicates, one with the original name and one with the name converted to lowercase. As far as I can tell, newer files tend to end up in these all-lowercase folders, but there are exceptions. As I'm using Linux, folders get created with…
