Thanks for the quick reply. Download buttons don't work that well with curl or wget though. Would be a lot more convenient to have a regular download button there IMHO.