gnome-tweak-tool под именем "Игструмент настроек" оказывается в меню "Инструменты". Надо бы его поместить (и?) в меню "Настройки", так как именно в нем, например, настраивается переключатель клавиатуры.
Не блокер для p7.
gnome-tweak-tool-3.6.1-alt2 -> sisyphus: * Mon Dec 17 2012 Yuri N. Sedunov <aris@altlinux> 3.6.1-alt2 - updated to 600e101a - moved to System menu (ALT #27896)