docs: public String getPath() {
  
          // ensure the export file name ends with ".zip" in case of ZIP file export
          if ((m_path != null) && !isExportAsFiles() && !m_path.toLowerCase().endsWith(".zip")) {
              m_path += ".zip";
          }
          return m_path;
      }