docs: static void writeAttribute(Writer out, String name, String value) throws IOException {
          out.write('"');
          out.write(name);
          out.write("\":");
          out.write(quote(value));
      }