The unofficial WordPress Plugin Directory
Very lightweight (vanilla) Javascript that wraps search terms in an HTML5 mark tag within WordPress search results.
