user-manual: add references to git-config man page