Ich glaube die Mühe hat sich dort keiner gemacht. Ohnehin neigen die meisten Projekte heute dazu MariaDB vorzuziehen (aus verständlichen Gründen).
Bezüglich des Tipp-Spiels:
Es scheinen nicht viele Dateien zu sein, sprich, es sollte nicht zu komplex sein das ganze mit vernünftigen Logs zum Laufen zu bringen.
Nur für den Fall, dass die Entwickler dort keine Lösung finden, würde ich mir das vielleicht mal zum Ende der Woche hin anschauen.