@jrbl - I was initially keen on displaying files button-style (with the title available as a hover over the button, and the file extension displayed on the button), but when discussing with @ividya, the HCI student who's working with us, she pointed out that those buttons were easily misunderstandable as some other format of download for the video - they look pretty similar to the "small" and "large" buttons for video file downloads.  We had initially preferred them to a list style because they're so much more compact, but now with @kluo's change to the Course Materials page, we're only showing one section at a time, so it's not as important to be compact.  Which is a long way of saying that I guess having choices is good, but I'd be inclined to default to list style display rather than button style display, even for files.