a4d2f5d8b4
Because we don't have a dock or panel to minimize to, the `minimize` shortcut was renamed to `hide` a long time ago. Likewise, `unmaximize` appears as `restore` in keyboard shortcuts. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4088 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1834>