HoTT/book — pull request #585 by mikeshulman (2013-12-13 23:18:50+00:00)
Title: some \nameless's should be \blank's.

I'm not sure whether this should be errata-ed.