Автопривязка окна к верхнему и нижнему краю экрана

В настоящее время в Windows 10 и Ubuntu 16.04 изменение размера окна путем перетаскивания его верхней границы к верхнему краю экрана приводит к тому, что нижняя граница окна также привязывается к нижнему краю экрана. Это очень удобно.

Как настроить Ubuntu 20.04 / GNOME3 для достижения такого поведения?

Это не очевидно из доступных настроек конфигурации графического интерфейса (либо в настройках, либо в настройках GNOME), не существует явно соответствующего расширения и не существует очевидного ключа dconf, и все это, наряду с потерей функциональности, удивительно, если не сказать. ретроградный.