push doc: move mention of "tag <tag>" later in the prose