Hrm - I’d been working on downloading the Internet using wget, but these guys seem to have a much better solution!