No disabling extensions is not enough because we have found that a disabled buggy extension can still interfere with gnome-shell.
No disabling extensions is not enough because we have found that a disabled buggy extension can still interfere with gnome-shell.