crlf -> lf (or, 'how to get blamed for thousands of lines')
Merge branch 'master' of github.com:HoTT/book