GNOME extensions removed due to being broken by release 40 (yet again)

[Waterfeelix]

Me, a window manager user looking at another fight between DE users: