GNOME Shell window manager (mis)behaviour