And he said even deleting the diffs in an overlay is too expensive, which normally should be cheaper than deleting a worktree.