Gnome Shell is not an extension to Mutter (it once was, but that changed before the 3.0 release; it's still wrong in Wikipedia). Today Gnome Shell is a window m

Gnome Shell is not an extension to Mutter (it once was, but that changed before the 3.0 release; it's still wrong in Wikipedia). Today Gnome Shell is a window manager implemented by using libmutter.