Documentation update: Highlight.js Tips example.