Code

Documentation/user-manual.txt: fix a few omissions of gitlink commands.