[MariaDB developers] Re: How to verify a clean MariaDB shutdown in logs before a major version upgrade?