HoTT/book — pull request #662 by JasonGross (2014-04-14 03:17:46+00:00)
Title: Minor tweaks to allow cleveref's poorman .sed files to work better

We'll still need to patch them to deal with autoref vs cref, but at
least we won't error or have missing braces.

The poorman option to cleveref was the only way I've found to get
htlatex to compile the book.