/* XXX ERROR -- could not find 'se-highlight.js'*/