doc: insert navmenu TOC only if there isnt one already