Updated GitHowTo with some details mentioned in issue 843