Github.Repos: Replace 'GithubUser' in haddock examples with 'GithubBasicAuth'