
Since `Spinner` is no longer a subclass of `Animation`/`AnimatedIcon`, the latter are now unused. Apparently that's not only true for gnome-shell itself, but also extensions, so there's little reason for keeping the former base classes around. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3612>