Florian Müllner authored Apr 15, 2020 and Marge Bot committed Jan 14, 2021

With the previous preparations in place, it is time to take the plunge.

As both the app and the portal use the same small library for handling
external windows, port everything at once to avoid the hassle of building
and installing two versions of the library.

With the portal using GTK4 now, all extensions must port their preference
widgets as well.

Part-of: <GNOME/gnome-shell!1495>