How’s it better than highlight.js?