Hacker News Reader

ubuntu-gnome 13.10 now comes with gnome 3.8, I will give it a try.

Which changes shortcuts and removes some keyboard layout customisations, sigh.

and that sucks! KDE and Razor-Qt FTW.