When that error popup is closed, this one opens: Can not open file. Evidently there is a compressed file that 7-Zip can’t open.