I was playing around with a way to get a number of files from a webserver in Python automatically (ala wget), and came up with the following script. It parses the HTML returned by a web page, looks for all a href tags for files ending with a given extension, then returns these filenames as a list. The rest script then steps through this list, getting each file in turn into a specified target folder.