Hacker News Reader

You should give cinnamon a try. I think you would prefer it over gnome.

I actually use Linux Mint for this reason - Cinnamon is just awesome (except the random crashes every once in a while)

Docking support is great, but sound output needs to be swapped manually sometimes.

Will Cinnamon be fast and responsive on an old laptop with a 2nd-gen Intel Core i5 processor and 4 GB of RAM? And how is the support for NVidia GPUs?