I don't know how we ended up with version specific gnome tags but we should probably merge [tag:gnome3] into [tag:gnome] now. 

Come to think of it I don't see why we need [tag:gnome-shell] either.

Thoughts?