Fixed the "enormous title bug" (on TOC pages, the HTML title that shows up in the browser caption bar was the concatenation of all the titles of all the documents), the bug which inserted duplicate hidden text blocks into TOCs, and a bug which prevented bibliographical references in TOC introductions from turning into working popups.