docs: def zip_exposure(exposure_xml, archive_zip='', log=logging.info):
      """
      Zip an exposure.xml file with all its .csv subfiles (if any)
      """
      archive_zip = archive_zip or exposure_xml[:-4] + '.zip'
      if os.path.exists(archive_zip):
          sys.exit('%s exists already' % archive_zip)
      [exp] = Exposure.read_headers([exposure_xml])
      files = [exposure_xml] + exp.datafiles
      general.zipfiles(files, archive_zip, log=log, cleanup=True)
      return archive_zip