Well, you’re clean and this is good 8)
This is what matters… Happy New Year :wink:

Cut & paste from Eddy:
Only true virus infected files can be repaired, the others just need to be deleted.