I did see some MariaDB errors; consensus on the Internets was that I should create empty DBs in MariaDB then import the MySQL tables. That almost worked -- sadly, my most recent backup got trashed in the drive crash during the restore. An earlier backup was done with `mysqldump --all-databases` resulting in a 45 GByte .sql file that has a logical error about 3/4 way through (nothing wrong with the file format or FS consistency). So, I'm writing a script to separate the 45 GByte file into its constituent DB.sql files, and I'll import each one individually. I'm resigned to some data loss due to out-of-date backups.