A. Primeiras coisas primeiro:

O Sr. Google não me ajudou a encontrar nenhuma resposta para minha pergunta acimaSim, eu li uma solução para a pergunta oposta aquiComo atualizar o MySQL para MariaDB no XAMPP em 5 minutos no Windows (e isso não me ajudou: o MySQL simplesmente não inicia)Não espero respostas como 'MariaDB é melhor, - pare com seus exercícios bobos'.

B. Estou trabalhando com o MySQL Workbench e, por isso, não quero enfrentar nenhuma incompatibilidade agora ou no futuro.

C. Alguém pode compartilhar sua experiência (se houver) na solução desse problema?