Is there some tool/program out there that we can use to convert MariaDB to MySQL (and the other way around) instead of manually reviewing and editing the file to fix up syntax errors? I have little hope for such a tool but it doesn't hurt to ask....