docs: public static String readString(URL url, Charset encoding) throws IOException {
          InputStream inputStream = url.openStream();
          try {
              return readString(inputStream, encoding);
          } finally {
              inputStream.close();
          }
      }