proxy documentation

Example documentation for proxy settings in Documentation/git-repo-config.txt shows:

[proxy]
                command="ssh" for "ssh://kernel.org/"

But the code in connect.c:git_proxy_command_options() looks for "core.gitproxy" rather than "proxy.command".

I've only just started looking at the proxy support ... is it just the name that is wrong in the documentation, or are there other issues here?

proxy.command sounds like a better name than core.gitproxy ... so maybe the Docs are "right" and the code is "wrong"?

-Tony