(Later on: How #onedrive left all my data in recycle bin after uninstalling the local client - and managed to restore most of it with somewhat messed-up file names and paths. This is an odd day for technology like this, it seems...)