docs: def extract_files(self, *filenames):
          """Extract given files from the archive to disk."""
          for filename in filenames:
              data = self.read_file(filename)
              f = open(filename, 'wb')
              f.write(data or b'')
              f.close()