Hello,
Juste un petit commentaire au passage, mais sur Ubuntu 18.04 (et donc Gnome.3.28) en désactivant les animations on a pas le sentiment de lourdeur. Tout est (plus ou moins) instantanées.
Pour info, la désactivation est via le gnôme tweak tools (ajustement).
A+