The empty folder that would have emptied a production workspace

Deployment tools that support cleanup usually work out what to remove by comparison: anything present in the target but absent from the source is an orphan, so delete it. That rule is fine. It has one...