Referencing: Fix and improve highlighting with highlight.js
highlight.js reports in the browser console about unescaped HTML. The messaging is stopped via the referenced PR but the problem is not solved. We have to find a proper way to escape HTML for source blocks.
Note that the security issue is present for a long time but nobody took care. The messaging fix is just a cosmetic thing.
@xoxys fyi