If you're referring to Cinnamon, that's actually a fork of Gnome 3.

I think you are mistaken...

would not surprise me, it's by far the most widely used and well known though I guess