* web/code_graph/view_overlays_codegraph.ml: it works!