Formatting a large number of REFENTRYs in a REFERENCE takes longer than
     I'd like.  It's a problem in the header/footer navigation code...


