Extension:HighlightJS Integration