git-clone documentation didn't mention --origin as equivalent of -o