[G_yoshi]

I think it would be in the best interest of the player at this point to merely offer the download rather than force. Either way, they'll eventually have the file(s) they may need.

You also seemed to ignore my compromising idea. Using zip files to zip already compressed files is a waste of time. PNGs and GIFs are already compressed formats in thier own way as well as wavs. I think implementing a command that downloads files from within a range would work best or let it accept a wildcard of somekind so that the user downloads all the files in the specified folder.

idea:
download <folder>,<startingfile>,<endingfile>;

<folder> - obviously the source of where the files are
<startingfile> - the name of the file that is first in the series (they would need to be named the same but with a changing variable like a file_001, file_002, etc.)
<endingfile> - the last in the series.

or just put 'all' or something that the server will understand as a wildcard and it will download all the files in the folder. That would make a good use of the download variables Stefan added a while back which can be used to check files being downloaded in Graal.