article à compléter
Dans Gnome Tweak Tool (outil de personnalisation), désactivez les animations.
Si une extension rencontre des problèmes, n'hésitez pas à la désactiver. Si les extensions n'ont pas toutes démarrées avec le système, faites Alt+F2 et tapez "r".