With respect, as I already stated, I cannot start from scratch - the system (including Plesk) is set up by my host. They refuse to install anything other than "default" MariaDB, which is apparently 5.5.52.
I looked at this guide (it's rather old) for doing an upgrade, but removing mysql...