Re: Avoiding Jargon: dist-git