* code_map/view_overlays.ml: basic tooltip