No idea, but I’d try copying one of the other files that is later in the list over the one that is “lost” at this point… then hitting retry… The other file should still be encrypted using the private key, and should decrypt just fine (even though it isn’t the original file with that file name, in that path)… I doubt they are doing a checksum or anything to verify that the original file is actually restored.