user-manual: introduce "branch" and "branch head" differently