mark errata
errata-marking bash script
Merge branch 'master' of https://github.com/HoTT/book
Proof of Thm 4.2.13 and final polish around (2.14.2)