(issue #3811) switch from markdown.js to marked.js