[bobbylarrybobby]

There is JS that combines the files into a zip before downloading. I'd imagine that it's that code whose behavior differs between browsers.