news:2014:04:16:kde_4.13_is_out