Added the tinyest bit of polish to the downloader. Also, you now download a .zip instead of a .3gp. This is OK because the N95 handles zips very elegantly (and consistently!). And, the .3gp’s seem to work 100% when they come form the zip. And it also saves the tinyest bit of data.
Also, a link to the source for those of you interested.