message: fix: fix escaping JSON string values
  fixes
diff: @@ -20,8 +20,8 @@ function htmlEncode(t) {
  : '';
  }
  -function escapeForStringLiteral(str: string) {
  - return str.replace(/([\\"])/g, '\\$1');
  +function stringifyStringLiteral(str: string) {
  + return JSON.stringify(str).slice(1, -1);
  }
  function decorateWithSpan(value, className) {
  @@ -56,11 +56,11 @@ function valueToHTML(value, maxExpandLevel: number) {
  '<a href="' +
  value +
  '">' +
  - htmlEncode(escapeForStringLiteral(value)) +
  + htmlEncode(stringifyStringLiteral(value)) +
  '</a>' +
  decorateWithSpan('"', 'token string');
  } else {
  - output += decorateWithSpan('"' + escapeForStringLiteral(value) + '"', 'token string');
  + output += decorateWithSpan('"' + stringifyStringLiteral(value) + '"', 'token string');
  }
  } else if (valueType === 'boolean') {
  output += decorateWithSpan(value, 'token boolean');
  