Just now I noticed something odd. When downloading a zip-file containing a project from this site on a Windows computer and using the Windows Explorer to extract the files I came upon an error I had not seen before. It complains about duplicate entries, and all the sub-directories end up being replaced by a file instead.

This does not happen with any other tool I use to extract files from the ZIP-file. I'm not sure what to make of this, but if anyone bumps into this problem, please let me know. Also know that using an external tool to unzip the archive, like 7-zip, should solve the problem.