Google Code Prettify vs Editor.js | What are the differences? | StackShare