/* download.js Download selected files, zipping folders and multi-selections first. The zipping runs server side as a background file operation task, so this file starts it, follows its progress into the transfer panel by polling /system/file_system/ongoing, and hands the finished archive to the browser. Part of the ArozOS File Manager. Loaded as a plain script from file_explorer.html - see the