docs: private List<File> getDetailPageFiles(CmsObject cms, CmsPublishedResource res, String vfsName) {
  
          List<File> files = new ArrayList<File>();
          try {
              if ((OpenCms.getRunLevel() < OpenCms.RUNLEVEL_4_SERVLET_ACCESS)) {
                  // Accessing the ADE manager during setup may not work.
                  // also folders can not be displayed in detail pages
                  return files;
              }
              List<String> urlNames = cms.getAllUrlNames(res.getStructureId());
              Collection<String> detailpages = OpenCms.getADEManager().getDetailPageFinder().getAllDetailPages(
                  cms,
                  res.getType());
              for (String urlName : urlNames) {
                  for (String detailPage : detailpages) {
                      String rfsName = CmsStringUtil.joinPaths(
                          OpenCms.getStaticExportManager().getRfsName(cms, detailPage),
                          urlName,
                          CmsStaticExportManager.DEFAULT_FILE);
                      String rfsExportFileName = CmsFileUtil.normalizePath(
                          OpenCms.getStaticExportManager().getExportPath(vfsName)
                              + rfsName.substring(OpenCms.getStaticExportManager().getRfsPrefix(vfsName).length()));
                      File file = new File(rfsExportFileName);
                      if (file.exists() && !files.contains(file)) {
                          files.add(file);
                      }
                  }
              }
          } catch (CmsException e) {
              LOG.error(e.getLocalizedMessage(), e);
          }
          return files;
  
      }