refactor: simplify navigation

The navigation logic was extensible but also a bit overengineered for
our purposes and kind-of invented a DSL for generating nav entries. We
should be better off with a more direct approach.