Sadly @gnome animations get in the way of performance and disabling them brings in other issues. I use 'gnome-shell-extension-impatience' installed from @debian to speed up animations on newer hardware. extensions.gnome.org/extensi…