Какой у вас самый обновленный Gnome-Shell: Gnome Remix 12.10 или Ubuntu Gnome 13.04?

Я подумываю о замене обычного Ubuntu 12.04 на моем ноутбуке 13.04 Gnome - или Gnome Remix 12.10, учитывая, что у последнего, как ни странно, более длинный жизненный цикл. Какая из двух идет с более обновленным состоянием Gnome, из коробки? Если номера версий Gnome одинаковы для обоих, существуют ли другие отличия от опыта Gnome-Shell? Более конкретно, я надеюсь, что настройки (расширения оболочки, пользовательские темы) станут более интегрированными и хорошо поддерживаемыми OOTB по мере продолжения разработки. В настоящее время расширения оболочки являются неофициальными самоочищениями, которые могут работать или не работать с разными версиями Gnome 3. Чтобы иметь возможность использовать их, необходимо установить пакет, который нелегко найти. Точно так же возможность выбора тем пользователя привязана к неофициальному расширению оболочки. Это то, что я надеюсь увидеть в будущем, возможно, даже между этими двумя версиями Ubuntu?