Google Code Prettify vs CatchJS | What are the differences? | StackShare