revert further back to before highlight.js; add literate fixes