[tz] [PROPOSED 2/2] * theory.html: Cite Hinnant instead of the 1980s HP work.