[ad_1]
@adamainsworth thanks for reporting the issue. I see you’re correct, the file is duplicate. Reading your comment I first thought it must be a uppercase/lowercase issue, but there doesn’t seem to be a visible difference between the filenames at all. Not sure how this is even possible. It probably has something to do with the “é” in the filename.
I have removed it from the trunk and from the GitHub repository. The latest GitHub package also contains the fix, it will be included with the next release.
The perils of character encodings!
Thanks for the fast response.