html.extra.head.links boolean
html.extra.head.links Toggle extra HTML head link information

## Description

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