Two bits of good news for MariaDB users from the distribution standpoint this week: