* code_map/ui_navigation.ml: misc