Thanks, missed that. Some searching shows this not to be isolated, with the suggestion of switching to https rather than git://, to avoid timeouts (apparently), weird proxy configs etc.