Code

user-manual: rename "git internals" to "git concepts"