rms here, unlike the main "include everything"
      index.
    </p>
<p>
      Finally, while the Docbook XSL stylesheets create nice indexes complete with
      page numbers for PDF output, the HTML indexes look poorer by comparison, as
      these use section titles in place of page numbers... but as AutoIndex uses
      section titles as index entries this leads to a lot of repetition, so as an
      alternative AutoIndex can be instructed to construct the index itself. This
      is faster than using th