highlight: extract HTML stuff from highlight into htmlight