git main documentation: point at the user's manual.