pub fn deletion_done(old: &Path)
The old copy’s deletion done on its server: nothing waits for it any more.