@jaywink@iliketoast.net That is *very* bad news. I switched completely to # because # was making proprietary-like moves with # In one step, MariaDB Corp has leapfrogged Oracle. I won't say they've gone # yet, but this is definitely not a positive development.