They did indeed, and though I don’t remember exactly when, I’m fairly sure it was earlier than August when AFAIK much of Europe takes holidays.
I filed a support ticket with them Friday and they haven’t answered as of now, four full work days later, so a company-wide break would explain this.