link explaining search result highlighting. fixes #762