Назначен новый исполнительный директор GNOME Foundation