Mon Nov 16 18:50:36 MET 1998:

  Total rewrite of highligting.  API changed in major ways...but all
  for the better of course.
