* web/code_map/view_overlays_codemap.ml: it works! for labels