1
extralines = "<p>You can browse a report on <a href='bugs.html'>manual-page bugs found by doclifter</a>.</p>\n"