progit: substitue ^M with carriage
progit: fix typoes
progit: finish 7.1