anchor.diff:          handler.AutomaticDecompression <- DecompressionMethods.GZip ||| DecompressionMethods.Deflate
   
           let client = new HttpClient(handler)
  -        let githubToken = getGithubToken()
  -
           match auth with
           | None when not (isNull githubToken) ->
               client.DefaultRequestHeaders.Authorization <-
  
positive.code:     client.Headers.Add("User-Agent", "Paket")
      client.Proxy <- getDefaultProxyFor url
  
      let githubToken = getGithubToken()
  
      match auth with
      | Some (Credentials({Username = username; Password = password; Type = AuthType.Basic})) ->
  
negative.code:         handler.AutomaticDecompression <- DecompressionMethods.GZip ||| DecompressionMethods.Deflate
  
          let client = new HttpClient(handler)
          match auth with
          | None when not (isNull githubToken) ->
              client.DefaultRequestHeaders.Authorization <-
  