Yes, we plan to switch to MariaDB 10.2.x within the next weeks. Thanks for pointing me to your repository, that seems to be very useful.