Mariadb.com is dead, long live MariaDB.org
I wonder if some distro repos will stop installing mariadb instead of mysql whenever you try to install mysql. Always struck me as a weird thing to do since mysql never stopped development. (MariaDB.org seems to be still active, but there is now much more uncertainty (imo) compared to the mysql project)