docs: def delete_file(self, path):
          """Delete the file or directory at path.
          """
          self.log.debug("S3contents.GenericManager: delete_file '%s'", path)
          if self.file_exists(path) or self.dir_exists(path):
              self.fs.rm(path)
          else:
              self.no_such_entity(path)