docs: function(html, dbl) {
    return html
      .replace(!dbl
        ? /&(?!#?\w+;)/g
        : /&/g, '&amp;')
      .replace(/</g, '&lt;')
      .replace(/>/g, '&gt;')
      .replace(/"/g, '&quot;')
      .replace(/'/g, '&apos;');
  }