git-reset.txt: clarify branch vs. branch head