The menu code is provided by gnome-shell, so I don't think there's any reason to involve the extension in this bug.
The menu code is provided by gnome-shell, so I don't think there's any reason to involve the extension in this bug.