GNOME 3.10 Will Have a Beautiful and Handy System Menu | Hacker News Reader