Add HighlightNonASCII plugin.