In reply to Chris Barnett.

Thanks for the tip. I didn't realise wget could do that. Does it work better than just clicking "Save as" in a web browser? Because when you do it in Chrome it doesn't work very well, and a lot of stuff ends up broken.