As I later discovered, however, in spite of that popup warning that the zip file was empty, I pressed Save anyway, and was able to extract all the files successfully. No idea why that warning appears, as it deterred me for quite a bit while I tried other ways to download the files (and managed to do so).
Thanks for your offer of help.