I suppose the cheesy answer is to cut-and-paste all the download URLs and make a shell script that runs wget or curl on them all at once. That's probably exacerbated by the need to have all the right authentication cookies.