Add instructions for git and working around the problems of cloning the whole repository.
Also mention setting http.postBuffer.
Fix through LessEqualLessThanTransitivity-1.
Fix LessEqualLessThanTransitivity-2.
Fix through LessThanTotality.
Fix general/First-order_linear_order_defined_via_nonstrict_inequality.gh.
Fix through LessEqualReflexivity.