If you prefer downloading the files the good old fashioned way. ;)

In the browser console:

    $('.js-start-download > a').each(function(a, b) {
        console.log($(b).attr('href'))
    })

Paste the URLs in list.txt and run wget on the list:

    wget --content-disposition --trust-server-names -i list.txt