git-config: better document default behavior for `--include`