I'm not sure what you want to do with this page, but I have a python script which spiders the downloads and generates a big old table. See here if you think it's useful. josefdk 16:41, 18 November 2009 (UTC)
