I note that they did not bother trying to summarize that notorious mishmash of miscellany, 'git checkout'. But how could they have?