* code_map/view_overlays.ml: highlight defs of uses!
* code_map/model_graph_code.ml: fix exn
* changes.txt: