* web/code_map/interaction_codemap.ml: interactive!