user-manual: remove some git-foo usage