Delete synhighlighter.js