> But you still need to connect to the SQL console to run such commands, so you're implying that should be a manual intervention or a follow-up automation patch?

Yes, but I would like to see the problem happen again before adding it.
Also the future version of MariaD has an option to do it automatically