* web/code_map/view_overlays_codemap.ml: start porting