docs: public static void copy(URL in, File out) throws IOException {
  		assert in != null;
  		assert out != null;
  
  		File outFile = out;
  		if (out.isDirectory()) {
  			outFile = new File(out, largeBasename(in));
  		}
  
  		final URLConnection connection = in.openConnection();
  		try (FileOutputStream fos = new FileOutputStream(outFile)) {
  			copy(
  					connection.getInputStream(),
  					connection.getContentLength(),
  					fos);
  		}
  	}