MySQL vs MariaDB: another case of an institution trying to take over a collective?