Использует ли Gnome Shell Mutter?

В Википедии написано, что Gnome Shell в Gnome 3 использует диспетчер окон Mutter.

Но ps x | grep mutter ps x | grep mutter показывает, что Mutter не работает. Более того, у меня был опыт работы с Gnome Shell, прежде чем я установил Mutter.

Действительно ли Gnome Shell использует Mutter? Какие WM используются и которые можно использовать с Gnome Shell?

Linux и Unix - лучшая ОС в мире.