Thanks! I think the hole punching is the key one, as it is important for "this delete has happened but we need to free the space without a vacuum".