"Task Pooper" could revolutionize GNOME desktop