-Highlighting now works in the export-html tool