docs: function encode(raw) {
      if (type(raw) !== "string") {
        return raw;
      }
  
      // Identifies all characters in the unicode range: 00A0-9999, ampersands,
      // greater & less than) with their respective html entity.
      return raw.replace(/["&'<>`]/g, function(match) {
         return "&#" + match.charCodeAt(0) + ";";
      });
    }