Thanks for answering. I still have no idea why Dropbox seemed to be so close to empty while the phone had all notes intact.
I have now restored the Dropbox content from a backup, but even if filenames are the same as before, the timestamp (or something else) isn’t. Consequently my phone wants to fetch more than 2000 files from Dropbox, leading to a new headache sorting out all the duplicates.