hovering on links highlights all instances of that link, and a few unrelated fixes