user-manual: use 'git config --global user.*' for setup