worktree: new place for "git prune --worktrees"