by Przemek Kaszubski.
Meanwhile, a bit of a workaround is to divide students into groups, and switch to group display when grading. The "download all assignments" function will only download that group's files.