* code_map/view_overlays.ml: start of tooltip/hovercard
* skip_list.txt: cleanup