How strange... We're a few hours later and I was willing to try out incognito mode and clearing browser cache, but now it says the following already:
MariaDB is EOL MariaDB version on the system is end of life, please upgrade
I guess the issue is resolved then.
Thank you very much.