For v2.0 I want to refactor navigation internals to better unify the configuration API and reduce discrepancies with the sidebar code. I think we should also consider storing the global navigation items in the Hyde kernel as that could make it easier for extensions to programmatically add navigation items.