9c8c3495b6
We never added anything else to the menu, so we can just operate on the entire menu instead of an intermediate section. This removes another difference with the window-list copy. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/307>