* web/code_graph/view_matrix_codegraph.ml: misc