Minor changes in gitconfig.example.