Code

user-manual: remove some git-foo usage