Now I tried this: I checked Bundlore-A in the AVAST Vault and restored it, found the file, and securely deleted it. I don't know yet if it worked.
By the way, when I "delete" files from the AVAST Vault, where do the files go? I don't see them in the trash.