docs: public static String getFileName(File file) {
          if (file == null) return null;
          String name = file.getName();
          return name.startsWith("redkale-") ? name.substring(name.indexOf('_') + 1) : name;
      }