Lots of fixes and documentation for upgrading from mysql to mariadb.