* code_map/model2.ml: more highlight users
* code_map/model2.ml: