Re: [PATCH 2/2] git-help: add "web_or_man" and "web_or_info" config vars.

I personally feel this is going a bit overboard. We'd be better off doing something like this:

 - add 'help.external' configuration variable, that allows the user to
   set any external program;

 - spawn the external program when "git help <cmd>" is given, with <cmd>
   as the parameter;

 - add an option to 'git config' to dump various paths configured in the
   git program, such as manual page path, info page path and such, so
   that the external program can learn where things are.

The second point above means that translating "cat-file" to "git-cat-file.html" becomes the responsibility for the external program.