Embedded HTML tokens get tagged with the language `'html'` by marked, but highlight.js uses `'xml'` for highlighting HTML. One-line fix coming... Dave