I'm trying to understand if it's actually true that he did not "opt in" to OneDrive and that his files "one day appeared" there, which seems unlikely. I'm not here to say Microsoft is capable of designing or engineering anything properly, but I'm trying to understand if this is a bug, dark pattern, "user error", or what.

Backups of course would have helped.