Updated highlight-regex.gif to show new highlighting.