html.extra.head.links — Toggle extra HTML head link information
If non-zero, extra link
elements will be
generated in the head
of chunked HTML files. These
extra links point to chapters, appendixes, sections, etc. as supported
by the “Site Navigation Bar” in Mozilla 1.0 (as of CR1, at least).