When I try to maximize the window, it doesn’t quite make it (GNOME, debian 12)
(see the blue background pattern showing through on the right and bottom)
