add jQuery.highlight effect to results, support UTF-16 octets, change repository and page name.