docs: private static String stringify(final String s) {
      final StringBuilder buf = new StringBuilder(1 + s.length() + 1);
      buf.append('"');
      HttpQuery.escapeJson(s, buf);  // Abusing this function gets the job done.
      buf.append('"');
      return buf.toString();
    }