Thank you for your answer!
Yes, the site updated automatically to the 5.5.1 version just some days ago. Maybe that’s when the issue started.
Checking with the theme developer for an update should be the very last chance, since this is a free version that I chose when I created the site (ten years ago) and probably they would charge me for that.
What can I do to try and fix it manually?
