Red Hat ditches MySQL, switches to MariaDB | Hacker News Reader