user-manual: more explanation of push and pull usage