docs: public static String getGzBaseName(String fname)
    {
      final String reducedFname = Files.getNameWithoutExtension(fname);
      if (isGz(fname) && !reducedFname.isEmpty()) {
        return reducedFname;
      }
      throw new IAE("[%s] is not a valid gz file name", fname);
    }