Resurected highlight, moved the highlightinh code which was growing in explorer and placed it here

Fixed bug in explorer where cutoffs were being ignored
made highlighter recognise "show" option
version crud