get_navigation/src/extensions/overlay_extension library