* web/code_map/draw_labels.ml: it works!