Closing. With the availability of custom HTML and custom PHP callback widgets in XenForo 2, it should be a simple task to add custom navigation with a widget added to the "Wiki: Header" location that tests {$context.parent.areaid} for the appropriate area in either the display condition or the callback. You can alternatively test {$context.content.prefixid} for prefix-specific navigation.