But is something like that really needed if all he has is Ledger Live app? I mean I could understand physically detroying drive if you had Electrum or similar type of wallet, but in his case where private keys never left Ledger what kind of info could someone retreive that could endager his crypto, even if they manage to restore the data?
I wasn't thinking exclusively about Ledger Live, but in general in the sense that someone wants to get rid of an old laptop or desktop computer on which they had some important data at any time. In this particular case, some information could be extracted from the disk, which could only be a threat to the OP's privacy.