Avoiding Jargon: dist-git