Also fetch it from github releases rather than site directly; those releases won't suddenly disappear.
