Download button in lab does not download all the files

Try downloading all the files, as instructed here.