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