Nextcloud has a first-party plugin that keeps a version history, which is very useful to enable to mitigate issues like this. That combined with the default behavior that deletions on devices only go to the trash on the server turns it into a real backup option.

Oh that's great. Thanks.