javic

Before contacting tech support, I looked at the location where the file was supposed to be restored. Surprisingly, the file is there. So either it was never actually quarantined, or BD restored it but generated the error message anyway. Either way, problem "solved".

Thank you both for your identical simultaneous suggestions. 😊 I'll see what tech support has to say.