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