[Tim Wood]

Thanks; this should be fixed in 95000 and later.

I conversed with another user in email (unless it was one of you...). In their case the problem seems to involve a 3rd party utility (BetterZip, I think) that adds some type identifiers for these file. This convinces Apple's downloader classes to suggest the changed file extension.

Anyway; I've updated this to ignore Apple's suggestion and just use the original download name.