Fedora 19 features better developer tools and more GUI options, and switches from MySQL to MariaDB
Open source legend takes a sabbatical for “family reasons”