Config.pm: add more comments about setting $git_http_backend_bin