user-manual: reset to ORIG_HEAD not HEAD to undo merge