41b94ccf11
It's good practice to save and reload the window size and maximization state, and easy enough to implement, so let's do that. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3115>