Note: the downloads have two files whose names are the same as two other files, with no way to know how they’re different.
I'll get that fixed! Thank you for letting us know
