I took a backup before I extracted those files, and now when I checked the backup I can see that I already had those files! So I have followed your advice earlier when I had problems with Gmail.

The problem that I have now is a new one, and it started in June.