Remove old highlight functionality.

It's not used by the front end any more, and wasn't being set by
any of the code since we switched to elasticsearch.