Updated highlight.js alias info