As I remember it, it was already in common use with exactly the same denotation;...

		kragen 89 days ago \| parent \| context \| favorite \| on: You already have a Git server As I remember it, it was already in common use with exactly the same denotation; they just removed the derogatory connotation.