Documentation/git-config: describe and clarify "--local <file>" option