Fix files that cannot be deleted in Nextcloud

I have been happily enjoying my self-hosted Nextcloud installation on an ancient Raspberry Pi for a few months. It's been mostly without issue, but I have noticed that sometimes it struggles with deleting files or with synchronising files that you delete locally (i.e. it somehow isn't aware of the fact that a file has been deleted). Sometimes I've fixed it with a very rudimentary technique that…