How many did he delete?
I read somewhere that all but 45 were deleted.
Can’t say if that’s so, found it on the internet...