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).