Andres Freund <andres@anarazel.de> writes:
> The point is not where you can cause trouble by explicitly deleting
> files - that'll always screw up things - but where you encountered this
> in the wild.
Actually, I think the main point is given that we've somehow got into
a situation like that, how do we get out again?
regards, tom lane