You're a bit late, gnome 3.8 was released back in March. HN story at the time: <a href="https://news.ycombinator.com/item?id=5451646" rel="nofollow">https://news.ycombinator.com/item?id=5451646</a> .<p>(FWIW, I've been running it for a couple of weeks, and rather like it. A couple of the 'classic mode' extensions make gnome-shell a lot more usable (especially TopIcons extension which lets you have a useful taskbar), and it feels a lot more responsive than gnome-shell 3.6).