Is anyone actually using MariaDB in production at a reasonable scale? Our DBAs tried to convince us to switch from MySQL to Maria a few months ago. All of the devs on my team looked around and couldn't find any testimonials, use-cases or benchmarks that weren't done by someone on the Maria dev team. I realize Monty is behind it but I don't really feel like being an early adopter based on fear that some day Oracle might do something bad with MySQL.