Rename Highlights plugin to Highlighter plugin

All of the other UI plugins are *{e,o}r plugins (Adder, Viewer, Editor)
so this one should be as well.