Make highlight function pluggable so that customized highlight function ...