Function escapeHtml

main.js:552–556

(text)

}

function escapeHtml (text) {
  if (!text)
    return text;
  return text.replace(/</g, '&lt;').replace(/>/g, '&gt;');
}

function trimIndent (text) {
  if (!text)