How’s it better than
highlight.js
?