Back in November, I noticed that I was getting a lot of MySQL crashes, with MySQL's logs saying that it had a log sequence error. It was actually MariaDB, the community-managed version of MySQL (as opposed to Oracle's "MySQL proper"),…