Correct the links that pointed to the old page. A good percentage
can now be aimed at the correct page - pull.md or push.md.