Интересно, какой тип и версия движков JavaScript / CSS использует Gnome 3 aka Gnome Shell ?
Gnome 3
Gnome Shell
Есть ли информация о текущей версии и т. д.?