Make dot-gitconfig more compatible with older gits.
Assorted small fixes.