Hi, I am trying to understand how data file deletion is handled when the transaction commits.
>From this line of code <https://github.com/apache/iceberg/blob/e69e52146d27956221ea4df4ad0baf2af7c827cd/core/src/main/java/org/apache/iceberg/ManifestFilterManager.java#L372>, it looks like the manifest file containing the deleted data file is rewritten and a new manifest file is created as part of the transaction that deletes data files. This indicates that data-files that are deleted can be ignored while planning. Is the above statement true by Specification? or is this an implementation detail that can be changed in the future? Thanks Vivek