copy placed here as the upstream website has an annoying php script which makes direct wgets harder than they really should be.