Disabling themes and community plugins doesn’t help.
Thus I will have to live with that. I can still work by creating a new file. I just wanted to the bug been known as I found several complaints about slow sync in this forum, which in fact might be this issue.