Delete highlighter.h