A bit of a contrast to this 6 months ago (“Mariadb.com is dead, long live MariaDB.org”): https://news.ycombinator.com/item?id=35467243