docs: public static void renameTo(File source, File destination) throws IOException
    {
      mkdirs(destination);
  
      // excerpt from File.renameTo API:
      // ... and it (n.b. File.renameTo) might not succeed if a file with the destination abstract pathname already exists
      //
      // so ensure destination does not exist
      destination.delete();
  
      if(!source.renameTo(destination)) {
        throw new IOException(String.format("Fail to rename file |%s| to |%s|.", source, destination));
      }
    }