Add removal of search highlight with //