descendants from * body_html. True (the default) is correct * for the single-page pipeline, where * Nav_Mapper turns $doc->nav_html into a * wp_nav_menu() call in header.php instead * — leaving the original markup in * body_html too would render the nav * twice. A multi-page conversion * (Multi_Page_Rewriter) passes false: its * navs vary structurally page to page (in * the real export this was built against, * the homepage's nav used in-page anchor * links while every other page's used real * page links) and don't fit Nav_Mapper's *