Changes that need to be done at the time of the switch to GTK 4
developer.gnome.org