docs: def delete_file(self, name):
          """Deletes the file identified by ``name`` along with its metadata.
  
             The file is removed from both the local store and the remote store.
          """
          if self.local_store:
              lock = self.lock_manager.lock_for(name)
              lock.lock_exclusive()
              try:
                  self.local_store.delete_file(name)
              finally:
                  lock.close()
          if self.remote_store:
              self.remote_store.delete_file(name)