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

It's been long enough and all it does is cause confusion, perhaps consider cleaning up [tag:gnome-panel] too.