Re: git commit: Documentation updates.

[Igor Galić]

Btw, records.config's still not done, anyone can take a look
at that file and do a couple of lines (or write a perl or emacs)
script to transform it to a sensible format.

i