backported js-markdown-extra.js