ごめんなさい、MariaDBのMariaが亡くなっているという話、もう一回調べ直してみたんだけど、どうしても見つけられなかったので削除しました。うーん、どこで見たんだろう。