Search and highlight on the html abstract. #155