mention chaining equalities in section 1.1
add 0c0be67 to errata
Merge pull request #389 from mikeshulman/chainingequalities

mention chaining equalities in section 1.1
Merge remote-tracking branch 'upstream/master' into hott-EB
add a small bar on the left edge to show where to continue reading