[behnamoh]

which is one of Gnome's problems. I don't want to install extensions only to realize they won't work on the new Gnome version.

[Darmody]

But installing the 3 or 4 extensions that I need takes no more than 2 minutes. I don't have to tweak anything else.