In the past, when I manually downloaded cores from the buildbot I used to be able to check the box in front of the cores I wanted and there was an option to batch download where all the cores I selected would be packaged into a single zip file.
The check boxes are still there, but there is no option to click to start the download. I have to click and download each core separately. Was the batch download option removed or is there a problem with my browser? I am using Firefox.