In Windows 10 currently, and Ubuntu 16.04, resizing a window by dragging its top border to the top edge of the screen causes the window's bottom border also to snap to the bottom edge of the screen. This is quite handy.
How does one configure Ubuntu 20.04 / GNOME3 to achieve this behavior?
This isn't obvious from available GUI configuration settings (in either Settings or GNOME Tweaks), no obviously relevant extension exists, and no obvious dconf key exists, all of which, along with the loss of functionality, is surprising if not retrograde.