Export nav reimplemented as a tree.