docs: static String jsonStringify(String stringValue) {
          StringBuilder sb = new StringBuilder();
          for (char ch : stringValue.toCharArray()) {
              switch (ch) {
                  case '"':
                      sb.append("\\\"");
                      break;
                  case '\\':
                      sb.append("\\\\");
                      break;
                  case '/':
                      sb.append("\\/");
                      break;
                  case '\b':
                      sb.append("\\b");
                      break;
                  case '\f':
                      sb.append("\\f");
                      break;
                  case '\n':
                      sb.append("\\n");
                      break;
                  case '\r':
                      sb.append("\\r");
                      break;
                  case '\t':
                      sb.append("\\t");
                      break;
                  default:
                      sb.append(ch);
              }
          }
          return sb.toString();
      }