No. I checked with the other admin who upgraded Mdocs. She did nothing else than upgrade.
Can confirm the files were deleted. After uploading them again I only see one version.
It appears random: some files were, others weren’t deleted.
We’re using one.com for hosting.
No I didn’t upgrade myself, so there’s no backup.
